Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485 [Book Review]

Journal of Symbolic Logic 56 (3):1094 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,479

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

[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
omnibus Review. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.

Analytics

Added to PP
2016-06-30

Downloads
23 (#502,736)

6 months
3 (#228,007)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dag Prawitz
Stockholm University
Wolfram Pohlers
University of Muenster

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references