The Collected Papers of Gerhard Gentzen
Amsterdam, North-Holland Pub. Co. (1970)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic, Symbolic and mathematical Metamathematics | |||||||||
| Categories | ||||||||||
| Buy the book | $399.95 used Amazon page | |||||||||
| Call number | QA9.G329 | |||||||||
| ISBN(s) | 072042254X | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesMatthias Baaz & Rosalie Iemhoff (2006). Gentzen Calculi for the Existence Predicate. Studia Logica 82 (1):7 - 23.
John Mueller Anderson (1962). Natural Deduction. Belmont, Calif.,Wadsworth Pub. Co..
P. H. Nidditch (1957). Introductory Formal Logic of Mathematics. Glencoe, Ill.,Free Press.
Kurt[from old catalog] Schütte (1962). Lecture Notes in Mathematical Logic. University Park, Dept. Of Mathematics, Pennsylvania State University.
W. V. Quine (1995). Selected Logic Papers. Harvard University Press.
W. W. Tait (2005). Gödel's Reformulation of Gentzen's First Consistency Proof for Arithmetic: The No-Counterexample Interpretation. Bulletin of Symbolic Logic 11 (2):225-238.
Jan von Plato & G. Gentzen (2008). Gentzen's Proof of Normalization for Natural Deduction. The Bulletin of Symbolic Logic 14 (2):240 - 257.
A. I. Malʹt͡sev (1971). The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967. Amsterdam,North-Holland Pub. Co..
J. van Heijenoort (1972). Book Review:The Collected Papers of Gerhard Gentzen M. E. Szabo. [REVIEW] Philosophy of Science 39 (1):91-.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
