Review: Georges Kreisel, La Predicativite [Book Review]

Journal of Symbolic Logic 27 (1):79-80 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963688

Links

PhilArchive



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

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

Kreisel Georges. La prédicativité. Bulletin de la Société Mathématique de France, vol. 88 , pp. 371–391.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (1):79-80.
Review: S. Feferman, G. Kreisel, Persistent and Invariant Formulas Relative to Theories of Higher Order; Solomon Feferman, Persistent and Invariant Formulas for Outer Extensions. [REVIEW]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Luisa Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, Reflecting on Incompleteness. [REVIEW]Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):345-347.
Review: Solomon Feferman, Godel's Life and Work. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):340-341.
Review: Solomon Feferman, Ordinals and Functionals in Proof Theory. [REVIEW]Georg Kreisel - 1975 - Journal of Symbolic Logic 40 (4):625-626.
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Review: Solomon Feferman, Classifications of Recursive Functions by Means of Hierarchies. [REVIEW]Rozsa Peter - 1965 - Journal of Symbolic Logic 30 (3):388-389.
Review: Solomon Feferman, The Number Systems. Foundations of Algebra and Analysis. [REVIEW]William E. Gould - 1973 - Journal of Symbolic Logic 38 (1):151-151.

Analytics

Added to PP
2013-11-03

Downloads
5 (#1,561,562)

6 months
4 (#863,607)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references