An Introduction to Proof Theory

Bulletin of Symbolic Logic 6 (4):464-465 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..
Introduction to proof in abstract mathematics.Andrew Wohlgemuth - 2011 - Mineola, N.Y.: Dover Publications.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
Numbers and proofs.Reg Allenby - 1997 - New York: Copublished in North, South, and Central America by John Wiley & Sons.
Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.

Analytics

Added to PP
2015-02-06

Downloads
25 (#635,157)

6 months
8 (#365,731)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.
Incompleteness in the Finite Domain.Pavel Pudlák - 2017 - Bulletin of Symbolic Logic 23 (4):405-441.

View all 34 citations / Add more citations

References found in this work

No references found.

Add more references