The collected papers of Gerhard Gentzen

Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1970

Call number

QA9.G329

ISBN(s)

072042254X

DOI

10.2307/2272429
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The metamathematics of algebraic systems, collected papers: 1936-1967.A. I. Malʹt︠s︡ev - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by Benjamin Franklin Wells.
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.
Selected logic papers.W. V. Quine - 1966 - Cambridge, Mass.: Harvard University Press.
Introductory formal logic of mathematics.Peter Harold Nidditch - 1957 - Glencoe, Ill.,: Free Press.
Natural deduction.John Mueller Anderson - 1962 - Belmont, Calif.,: Wadsworth Pub. Co.. Edited by Henry W. Johnstone.
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
2009-01-28

Downloads
136 (#132,152)

6 months
10 (#257,583)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
Supposition: A Problem for Bilateralism.Nils Kürbis - 2023 - Bulletin of the Section of Logic 53 (3):301-327.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.

View all 105 citations / Add more citations

References found in this work

No references found.

Add more references