Review: Georg Kreisel, Some Concepts Concerning Formal Systems of Number Theory [Book Review]

Journal of Symbolic Logic 31 (1):128-128 (1966)
  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: 92,923

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

Review: Georg Kreisel, Godel's Intepretation of Heyting's Arithmetic; G. Kreisel, Relations Between Classes of Constructive Functionals; Georg Kreisel, A. Heyting, Interpretation of Analysis by Means of Constructive Functionals of Finite Types. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
Kreisel, Generalized Recursion Theory, Stanford and Me.Richard A. Platek - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 97.
Georg Kreisel: a Few Personal Recollections.Francis Crick - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 25.
Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments; S. C. Kleene, A Formal System of Intuitionistic Analysis. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
Book review: Collected works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel. [REVIEW]Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 29 (1):160-181.
Bridging the gap between intuitive and formal number concepts: An epidemiological perspective.Helen3 De Cruz - 2008 - Behavioral and Brain Sciences 31 (6):649-650.
Review: Georg Kreisel, William W. Tait, Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi. [REVIEW]Rohit Parikh - 1967 - Journal of Symbolic Logic 32 (2):270-271.
Kreisel's 'Unwinding Program'.Solomon Feferman - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 247--273.
Kreisel's unwinding of Artin's proof.Charles Delzell - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 113--246.
Bounds extracted by Kreisel from ineffective proofs.Horst Luckhardt - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 289--300.
Kreisel, Generalized.Gerald E. Sacks - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 103.
An Appreciation of Kreisel.Anil Nerode - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 81.
Some Reminiscences of Kreisel.Rohit Parikh - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 89.
Church's thesis and the ideal of informal rigour.Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 28 (4):499-519.
Review: G. Kreisel, J. Shoenfield, Hao Wang, Number Theoretic Concepts and Recursive Well-Orderings. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):511-512.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,815,597)

6 months
1 (#1,508,411)

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