Rereading Gentzen

Synthese 137 (1-2):195 - 209 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

External links

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

Through your library

Similar books and articles

Foreword.Sieuwert Otterloo, Michael Wooldridge & Peter Mcburney - 2006 - Synthese 149 (2):255-256.
Gaifman.Isaac Levi - 2004 - Synthese 140 (1-2):121 - 134.
Seidenfeld.Isaac Levi - 2004 - Synthese 140 (1-2):89 - 96.
Introduction.J. Bickle - 2005 - Synthese 147 (3):401-402.
Schick.Isaac Levi - 2004 - Synthese 140 (1-2):17 - 24.
Editorial.Jaakko Hintikka - 1997 - Synthese 112 (1):3-5.
Editorial.Wiebe van der Hoek - 2004 - Synthese 139 (2):5-8.

Analytics

Added to PP
2009-01-28

Downloads
81 (#267,397)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Von Plato
University of Helsinki

Citations of this work

On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.

Add more citations

References found in this work

Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.

View all 15 references / Add more references