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 | 1969, 1970 |
Buy this book |
Find it on Amazon.com
|
Call number | QA9.G329 |
ISBN(s) | 072042254X 9780720422542 |
DOI | 10.2307/2272429 |
Options |
![]() ![]() ![]() ![]() |
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.
Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
Does the Deduction Theorem Fail for Modal Logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.
View all 98 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.
Introductory Formal Logic of Mathematics.Peter Harold Nidditch - 1957 - Glencoe, IL, USA: Glencoe, Ill., Free Press.
Natural Deduction: The Logical Basis of Axiom Systems.John Mueller Anderson - 1962 - Belmont, CA, USA: Belmont, Calif., Wadsworth Pub. Co..
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
110 ( #106,306 of 2,504,870 )
Recent downloads (6 months)
11 ( #68,821 of 2,504,870 )
2009-01-28
Total views
110 ( #106,306 of 2,504,870 )
Recent downloads (6 months)
11 ( #68,821 of 2,504,870 )
How can I increase my downloads?
Downloads