Proof theory

New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. (1975)
  Copy   BIBTEX

Abstract

This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
.[author unknown] - unknown
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.

Analytics

Added to PP
2009-01-28

Downloads
10 (#1,026,208)

6 months
7 (#176,166)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.

View all 116 citations / Add more citations

References found in this work

No references found.

Add more references