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

Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.
Speaking with Shadows: A Study of Neo-Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.
Hegel's Dialectics as a Semantic Theory: An Analytic Reading.Francesco Berto - 2007 - European Journal of Philosophy 15 (1):19–39.
What is Wrong with Classical Negation?Nils Kurbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.

View all 74 citations / Add more citations

Similar books and articles

[Omnibus Review].Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (1):94-95.
[Omnibus Review].Pierre Matet - 2002 - Bulletin of Symbolic Logic 8 (2):309-311.
[Omnibus Review].Gary Gruenhage - 2002 - Bulletin of Symbolic Logic 8 (3):443-445.
[Omnibus Review].John N. Crossley - 1991 - Journal of Symbolic Logic 56 (3):1089-1090.
[Omnibus Review].Julius B. Barbanel - 1991 - Journal of Symbolic Logic 56 (3):1097-1098.
[Omnibus Review].Birge Huisgen-Zimmermann - 2002 - Bulletin of Symbolic Logic 8 (3):441-443.
[Omnibus Review].Carlos Augusto Priscdio - 1991 - Journal of Symbolic Logic 56 (3):1098-1100.
Gautama Buddha.Iqbal Singh - 2004 - In Matthew Kapstein, S. Radhakrishnan, Iqbal Singh & Arvind Sharma (eds.), The Buddhism Omnibus. Oxford University Press.
The Man on the Clapham Omnibus.Tim Madigan - 2001 - Philosophy Now 33:36-37.
'Omnibus Unus'( Aeneid 3. 716).Grant C. Roti - 1983 - Classical Quarterly 33 (01):300-.
A View From the Clapham Omnibus.Zelman Cowen - 1986 - Journal of Law, Medicine and Ethics 14 (3-4):108-112.

Analytics

Added to PP index
2010-09-12

Total views
18 ( #532,926 of 2,330,890 )

Recent downloads (6 months)
3 ( #256,394 of 2,330,890 )

How can I increase my downloads?

Downloads

My notes