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)

Categories

Keywords

Reprint years

DOI

10.2307/420968

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

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

Through your library

My notes

Similar books and articles

Review: Samuel R. Buss, Handbook of Proof Theory: An Introduction to Proof Theory. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):464-465.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Chapter 1: An introduction to proof theory & Chapter 2: Firstorder proof theory of arithmetic.S. Buss - 1998 - In Samuel R. Buss (ed.), Handbook of Proof Theory. Elsevier.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Review: Samuel R. Buss, Handbook of Proof Theory: First-Order Proof Theory of Arithmetic. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):465-466.
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..
Review: Samuel R. Buss, Handbook of Proof Theory: Subsystems of Set Theory and Second-Order Number Theory. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):467-469.
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.
Technical report tr-Arp-11-94.Greg Restall - unknown
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
24 (#650,558)

6 months
7 (#419,843)

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