TAKEUTI, G.: "Proof Theory" [Book Review]

Australasian Journal of Philosophy 55:161 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

MANNISON, D., McRobbie, M. and Routley, R. , "Environmental Philosophy". [REVIEW]J. Thompson - 1981 - Australasian Journal of Philosophy 59:461.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
G. Takeuti and W. M. Zaring. Introduction to axiomatic set theory. Springer-Verlag, New York, Heidelberg, and Berlin, 1971, VII + 250 pp. [REVIEW]F. R. Drake - 1973 - Journal of Symbolic Logic 38 (3):530.
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. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.
Takeuti's Well-ordering Proof.Aaron Thomas-Bolduc & Eamon Darnell - 2022 - Australasian Journal of Logic 19 (1).
Barry J. Fraser, Kenneth G. Tobin and Campbell J. McRobbie : Second International Handbook of Science Education.Keith S. Taber - 2015 - Science & Education 24 (3):319-337.
WYBURN, G. M., and others: "Human senses and perception". [REVIEW]J. C. Mckenzie - 1965 - Australasian Journal of Philosophy 43:121.
REARDON, B. M. G.: Religious thought in the nineteenth century. [REVIEW]D. W. Dockrill - 1967 - Australasian Journal of Philosophy 45:378.
Proof theory for theories of ordinals—I: recursively Mahlo ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
HUGHES, G. E. and CRESSWELL, M. J.: "A Companion to Modal Logic".G. Priest - 1986 - Australasian Journal of Philosophy 64:220.

Analytics

Added to PP
2015-02-04

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Michael A. McRobbie
Indiana University, Bloomington

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references