Review: Kurt Schutte, J. N. Crossley, Proof Theory [Book Review]

Journal of Symbolic Logic 47 (1):218-220 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

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

Review: John N. Crossley, Kurt Schutte, Non-Uniqueness at $omega^2$ in Kleene's O. [REVIEW]Gustav B. Hensel - 1970 - Journal of Symbolic Logic 35 (2):336-336.
Review: Wilfrid Buchholz, Kurt Schutte, Proof Theory of Impredicative Subsystems of Analysis. [REVIEW]Gerhard Jager - 1991 - Journal of Symbolic Logic 56 (1):332-333.
Review: W. W. Tait, J. N. Crossley, M. A. E. Dummett, Infinitely Long Terms of Transfinite Type. [REVIEW]E. G. K. Lopez-Escobar - 1975 - Journal of Symbolic Logic 40 (4):623-624.
Review: Richard Montague, J. N. Crossley, M. A. E. Dummett, Set Theory and Higher-Order Logic. [REVIEW]Richard Mansfield - 1975 - Journal of Symbolic Logic 40 (3):459-459.
Review: J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell, N. H. Williams, What is Mathematical Logic? [REVIEW]William E. Gould - 1975 - Journal of Symbolic Logic 40 (2):241-241.
Review: J. N. Crossley, Anil Nerode, Combinatorial Functors. [REVIEW]Carl E. Bredlau - 1977 - Journal of Symbolic Logic 42 (4):586-587.
Review: A. N. Prior, J. N. Crossley, M. A. E. Dummett, Existence in Lesniewski and in Russell. [REVIEW]C. Lejewski - 1975 - Journal of Symbolic Logic 40 (3):458-458.
Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
Review: Saul A. Kripke, J. N. Crossley, M. A. E. Dummett, Semantical Analysis of Intuitionistic Logic I. [REVIEW]G. Kreisel - 1970 - Journal of Symbolic Logic 35 (2):330-332.
Review: John N. Crossley, Recursive equivalence: A survey; John N. Crossley, Recursive equivalence. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-407.

Analytics

Added to PP
2013-11-22

Downloads
10 (#1,222,590)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references