Review: W. W. Tait, J. N. Crossley, M. A. E. Dummett, Infinitely Long Terms of Transfinite Type [Book Review]

Journal of Symbolic Logic 40 (4):623-624 (1975)
  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: 91,219

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: L. Henkin, Some Remarks on Infinitely Long Formulas; Carol R. Karp, Independence Proofs in Predicate Logic with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
Review: G. V. Cudnovskii, Some Results in the Theory of Infinitely Long Expressions. [REVIEW]E. G. K. López-Escobar - 1972 - Journal of Symbolic Logic 37 (1):202-203.
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: H. Jerome Keisler, J. W. Addison, Leon Henkin, Alfred Tarski, Finite Approximations of Infinitely Long Formulas; H. Jerome Keisler, Some Applications of Infinitely Long Formulas. [REVIEW]Carol Karp - 1969 - Journal of Symbolic Logic 34 (1):129-130.
Functionals defined by transfinite recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.
Zermelo's Cantorian theory of systems of infinitely long propositions.R. Gregory Taylor - 2002 - Bulletin of Symbolic Logic 8 (4):478-515.
Review: P. B. Andrews, A Transfinite Type Theory with Type Variables. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
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.
Formal Systems and Recursive Functions.Michael Dummett & J. N. Crossley (eds.) - 1963 - Amsterdam,: North Holland.
Discrete independence results.Harvey Friedman - manuscript
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.
Dummett's criteria for singular terms.Linda Wetzel - 1990 - Mind 99 (394):239-254.

Analytics

Added to PP
2013-11-22

Downloads
18 (#785,610)

6 months
1 (#1,459,555)

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