omnibus Review [Book Review]

Journal of Symbolic Logic 56 (3):1094-1096 (1991)
  Copy   BIBTEX

Abstract

Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1183743760

Links

PhilArchive



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

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

[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
The proof theory of classical and constructive inductive definitions. A 40 year saga, 1968-2008.Solomon Feferman - unknown
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
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.
Review: Solomon Feferman, Ordinals and Functionals in Proof Theory. [REVIEW]Georg Kreisel - 1975 - Journal of Symbolic Logic 40 (4):625-626.
[Omnibus Review]. [REVIEW]Don Fallis - 1998 - Journal of Symbolic Logic 63 (3):1196-1200.
Review: Dag Prawitz, J. E. Fenstad, Ideas and Results in Proof Theory. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..
Proof theory of classical and intuitionistic logic.Jan von Plato - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.
Technical report tr-Arp-11-94.Greg Restall - unknown
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Review: Wolfram Pohlers, Proof Theory. An Introduction. [REVIEW]Andrea Cantini - 1993 - Journal of Symbolic Logic 58 (1):358-359.
On the proof theory of type two functionals based on primitive recursive operations.David Steiner & Thomas Strahm - 2006 - Mathematical Logic Quarterly 52 (3):237-252.

Analytics

Added to PP
2017-02-21

Downloads
6 (#1,434,892)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references