BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Richard Zach
SearchCollections
Map detail
Richard Zach10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRichard ZachARichard ZachResearcherSemantics and Proof Theory of the Epsilon CalculusWSemantics and Proof The...preprint / 2016Lectures on the Epsilon CalculusWLectures on the Epsilon...preprint / 2014Decidability of quantified propositional intuitionistic logic and S4 on treesWDecidability of quantif...preprint / 2002Hilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofsWHilbert's "Verunglueckt...preprint / 2003Hilbert's Program Then and NowWHilbert's Program Then ...preprint / 2005Approximating Propositional Calculi by Finite-valued LogicsWApproximating Propositi...preprint / 2002The Epsilon Calculus and Herbrand ComplexityWThe Epsilon Calculus an...preprint / 2005Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel LogicsWCharacterization of the...preprint / 2003First-order Goedel logicsWFirst-order Goedel logicspreprint / 2006
Person9 links

Richard Zach

Researcher

PaperSemantics and Proof Theory of the Epsilon CalculusAuthorship / preprint / 2016PaperLectures on the Epsilon CalculusAuthorship / preprint / 2014PaperDecidability of quantified propositional intuitionistic logic and S4 on treesAuthorship / preprint / 2002PaperHilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofsAuthorship / preprint / 2003PaperHilbert's Program Then and NowAuthorship / preprint / 2005PaperApproximating Propositional Calculi by Finite-valued LogicsAuthorship / preprint / 2002PaperThe Epsilon Calculus and Herbrand ComplexityAuthorship / preprint / 2005PaperCharacterization of the Axiomatizable Prenex Fragments of First-Order Goedel LogicsAuthorship / preprint / 2003

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)