omnibus Review [Book Review]

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

Authors
Dag Prawitz
Stockholm University
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1183743760
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,508
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Proof Theory and Set Theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
[Omnibus Review]. [REVIEW]Don Fallis - 1998 - Journal of Symbolic Logic 63 (3):1196-1200.
Proof Theory.Gaisi Takeuti - 1987 - Elsevier.
Intuitionism and Proof Theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam: North-Holland Pub. Co..

Analytics

Added to PP index
2017-02-21

Total views
4 ( #1,171,229 of 2,330,891 )

Recent downloads (6 months)
1 ( #587,623 of 2,330,891 )

How can I increase my downloads?

Downloads

My notes