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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,979
External links
(no proxy) 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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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
