Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

Book Review

The AMS does not provide abstracts of book reviews. You may download the entire review from the links below.


Full text of review: PDF   This review is available free of charge.
Book Information:

Author: Gaisi Takeuti
Title: Proof theory
Additional book information: Studies in Logic and the Foundations of Mathematics, vol. 81, North-Holland/American Elsevier, Amsterdam, Oxford, New York, 1975, vii + 372 pp., $35.50.

References [Enhancements On Off] (What's this?)

  • [B] E. Bishop, Foundations of constructive analysis, McGraw-Hill, New York, 1967. MR 36 #4930. MR 221878
  • [F1] S. Feferman, Lectures on proof theory, Proc. Summer School in Logic (Leeds, 1967), Lecture Notes in Math., vol. 70, Springer-Verlag, Berlin and New York, 1968, pp. 1-107. MR 38 #4294. MR 235996
  • [F2] S. Feferman, Theories of finite type related to mathematical practice, Handbook of Mathematical Logic (to appear).
  • [G] The collected papers of Gerhard Gentzen (M. E. Szabo, Editor), North-Holland, Amsterdam and London, 1969. MR 41 #6660. MR 262050
  • [H] J. Herbrand, Logical writings (W. D. Goldfarb, Editor), Harvard Univ. Press, Cambridge, Mass., 1971. MR 51 #2844. MR 366597
  • [H, B] D. Hilbert and P. Bernays, Grundlagen der Mathematik. II, 2nd ed., Springer-Verlag, Berlin and New York, 1970. MR 42 #7477. MR 272596
  • [IPT] Intuitionism and proof theory (A. Kino, J. Myhill and R. E. Vesley, Editors), Proc. Summer Conf., Buffalo, New York, 1968, North-Holland, Amsterdam and London, 1970. MR 42 #5774. MR 270891
  • [K1] G. Kreisel, A survey of proof theory. I, J. Symbolic Logic 33 (1968), 321-388. MR 43 #7295. MR 281580
  • [K1] G. Kreisel, A survey of proof theory. II, Proc. Second Scandinavian Logic Sympos. (Oslo, 1970), North-Holland, Amsterdam and London, 1971, pp. 109-170. MR 47 #6425. MR 424533
  • [K2] G. Kreisel, what have we learnt from Hilbert's second problem? Proc. Sympos. Pure Math., vol. 28, Amer. Math. Soc., Providence, R.I., 1976, pp. 93-130. MR 434781
  • [P] D. Prawitz, Natural deduction, a proof-theoretical study, Almqvist and Wiksell, Stockholm, 1965. MR 33 #1227. MR 193005
  • [PTS] Proof theory symposium (Kiel, 1974) (Diller and Müller, Editors), Lecture Notes in Math., vol. 500, Springer-Verlag, Berlin and New York, 1975.
  • [S] K. Schütte, Beweistheorie, Springer-Verlag, Berlin, 1960. MR 22 #9438. MR 118665
  • [SL] Proc. Second scandinavian logic symposium (Oslo, 1970) (J. E. Fenstad, Editor), North-Holland, Amsterdam and London, 1971. MR 47 #6425. MR 317876
  • [T] A. S. Troelstra (Editor), Metamathematical investigation of intuitionistic arithmetic and analysis, Lecture Notes in Math., vol. 344, Springer-Verlag, Berlin and New York, 1973. MR 48 #3699. MR 325352
  • [Vh] J. van Heijenoort, From Frege to Gödel. A source book in mathematical logic, 1879-1931, Harvard Univ. Press, Cambridge, Mass., 1967. MR 35 #15. MR 209111

Review Information:

Reviewer: Solomon Feferman
Journal: Bull. Amer. Math. Soc. 83 (1977), 351-361
DOI: https://doi.org/10.1090/S0002-9904-1977-14263-8
American Mathematical Society