Bulletin of the American Mathematical Society

Review: Gaisi Takeuti, Proof theory

Solomon Feferman

Full-text: Open access

Article information

Source
Bull. Amer. Math. Soc., Volume 83, Number 3 (1977), 351-361.

Dates
First available in Project Euclid: 4 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.bams/1183538791

Citation

Feferman, Solomon. Review: Gaisi Takeuti, Proof theory. Bull. Amer. Math. Soc. 83 (1977), no. 3, 351--361. https://projecteuclid.org/euclid.bams/1183538791


Export citation

References

  • [B] E. Bishop, Foundations of constructive analysis, McGraw-Hill, New York, 1967. MR 36 #4930.
  • [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.
  • [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.
  • [H] J. Herbrand, Logical writings (W. D. Goldfarb, Editor), Harvard Univ. Press, Cambridge, Mass., 1971. MR 51 #2844.
  • [H, B] D. Hilbert and P. Bernays, Grundlagen der Mathematik. II, 2nd ed., Springer-Verlag, Berlin and New York, 1970. MR 42 #7477.
  • [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.
  • [K1] G. Kreisel, A survey of proof theory. I, J. Symbolic Logic 33 (1968), 321-388. MR 43 #7295.
  • [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.
  • [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.
  • [P] D. Prawitz, Natural deduction, a proof-theoretical study, Almqvist and Wiksell, Stockholm, 1965. MR 33 #1227.
  • [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.
  • [SL] Proc. Second scandinavian logic symposium (Oslo, 1970) (J. E. Fenstad, Editor), North-Holland, Amsterdam and London, 1971. MR 47 #6425.
  • [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.
  • [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.