Gentzen's Logic

In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 667-721 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Jan von Plato, Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics: Springer International Publishing, 2017. Sources and Studies in the History of Mathematics and Physical Sciences, x + 315 pp., ISBN 978-3-319-42119-3 , EUR 109.99, GBP 82.00, ISBN 978-3-319-42120-9 , EUR 91,62.Adrian Rezuş - 2019 - Studia Logica 107 (3):583-589.
Review: Jan von Plato, The Axioms of Constructive Geometry. [REVIEW]Wolfgang Rautenberg - 1997 - Journal of Symbolic Logic 62 (2):687-688.
Jan von Plato. The axioms of constructive geometry. Annals of pure and applied logic, vol. 76 , pp. 169–200.Wolfgang Rautenberg - 1997 - Journal of Symbolic Logic 62 (2):687-688.
Gentzens Problem. Mathematische Logik im nationalsozialistischen Deutschland. Mit einem Essay von Jan von Plato.Eckart Menzler-Trott - 2003 - Bulletin of Symbolic Logic 9 (4):508-510.
Gentzens Problem. Mathematische Logik im nationalsozialistischen Deutschland. Mit einem Essay von Jan von Plato. [REVIEW]Volker Peckhaus - 2003 - Bulletin of Symbolic Logic 9 (4):508-510.
Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1. [REVIEW]Bartosz Więckowski - forthcoming - Studia Logica:1-4.
A Remark on Gentzen's paper "Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II.Gaisi Takeuti - 1964 - Journal of Symbolic Logic 29 (1):58-59.
The History and Philosophy of Polish Logic. Essays in Honour of Jan Woleński. [REVIEW]Rafal Urbaniak - 2017 - History and Philosophy of Logic 38 (1):95-97.
Gentzen's cut-free calculus versus the logic of paradox.Alexej P. Pynko - 2010 - Bulletin of the Section of Logic 39 (1/2):35-42.
A Note On Gentzen's Decision Procedure For Intuitionistic Propositional Logic.Kosta Došen - 1987 - Mathematical Logic Quarterly 33 (5):453-456.

Analytics

Added to PP
2014-02-01

Downloads
35 (#444,209)

6 months
7 (#592,566)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Von Plato
University of Helsinki

Citations of this work

Add more citations

References found in this work

No references found.

Add more references