Amsterdam: North-Holland Pub. Co. (1969)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | Logic, Symbolic and mathematical Metamathematics |
| Categories | (categorize this paper) |
| Reprint years | 1970 |
| Buy this book |
Find it on Amazon.com
|
| Call number | QA9.G329 |
| ISBN(s) | 072042254X |
| DOI | 10.2307/2272429 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
Does the Deduction Theorem Fail for Modal Logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.
Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
View all 70 citations / Add more citations
Similar books and articles
The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967.A. I. Malʹt͡sev - 1971 - Amsterdam: North-Holland Pub. Co..
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
Gödel's Reformulation of Gentzen's First Consistency Proof for Arithmetic: The No-Counterexample Interpretation.W. W. Tait - 2005 - Bulletin of Symbolic Logic 11 (2):225-238.
Lecture Notes in Mathematical Logic.Kurt[from old catalog] Schütte - 1962 - University Park, Dept. Of Mathematics, Pennsylvania State University.
Book Review:The Collected Papers of Gerhard Gentzen M. E. Szabo. [REVIEW]J. van Heijenoort - 1972 - Philosophy of Science 39 (1):91-.
Analytics
Added to PP index
2009-01-28
Total views
90 ( #113,914 of 2,427,414 )
Recent downloads (6 months)
11 ( #62,038 of 2,427,414 )
2009-01-28
Total views
90 ( #113,914 of 2,427,414 )
Recent downloads (6 months)
11 ( #62,038 of 2,427,414 )
How can I increase my downloads?
Downloads
