Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015

Bulletin of Symbolic Logic 22 (4):525-526 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2016.31

Links

PhilArchive



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

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

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.
Extending the First Gentzen's Consistency Proof to the Intuitionistic Case.María Pallares - 2004 - Logic Journal of the IGPL 12 (6):549-560.
Intensionality: An Interdisciplinary Discussion.Reinhard Kahle (ed.) - 2005 - AK Peters.
Gentzen’s consistency proof without heightlines.Annika Siders - 2013 - Archive for Mathematical Logic 52 (3-4):449-468.
Reflections on Theoretical Issues in Argumentation Theory. Editors Frans H. van Eemeren and Bart Garssen . Cham: Springer International Publishing, 2015; pp. 289. $139.00 eBook, $179.00 hardcover. [REVIEW]Kaitlyn Haynal - 2016 - Informal Logic 36 (1):92-96.
Structured belief bases.Reinhard Kahle - 2002 - Logic and Logical Philosophy 10:45.
Preface.Wilfried Buchholz & Reinhard Kahle - 2005 - Annals of Pure and Applied Logic 133 (1-3):1.
REVIEWS-Two papers.W. Burr, V. Hartung & Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
Computing with Mathematical Arguments.Jesse Alama & Reinhard Kahle - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 9--22.
Introduction to Proof Theoretic Semantics. Special issue of.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148.
From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s. [REVIEW]Reinhard Kahle - 2001 - History of Philosophy & Logical Analysis 4.
Book review of “Gentzen's Centenary”. [REVIEW]Francesca Poggiolesi - 2017 - History and Philosophy of Logic 38 (3):297-298.
Reinhard Kahle and Peter Schroeder-heister.Steven Weinstein, Substantive General Covariance & Eugen Fischer - 2006 - Synthese 148 (1):745-747.
Publications 2015.No Author - 2016 - Methodos 16.
Joseph Agassi. The Very Idea of Modern Science: Francis Bacon and Robert Boyle. xvii + 315 pp., bibl., index. Dordrecht: Springer, 2015. $159. [REVIEW]Michael Segre - 2016 - Isis 107 (1):167-168.

Analytics

Added to PP
2017-12-07

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references