A Variant to Hilbert's Theory of the Foundations of Arithmetic

Journal of Symbolic Logic 22 (3):304-306 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963622

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

Review: G. Kreisel, A Variant to Hilbert's Theory of the Foundations of Arithmetic. [REVIEW]Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (3):304-306.
A variant to Hilbert's theory of the foundations of arithmetic.G. Kreisel - 1953 - British Journal for the Philosophy of Science 4 (14):107-129.
Kreisel G.. A variant to Hilbert's theory of the foundations of arithmetic. The British journal for the philosophy of science, vol. 4 , pp. 107–129. See Errata and corrigenda, ibid., p 357. [REVIEW]Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (3):304-306.
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
Review: G. Kreisel, Foundations of Intuitionistic Logic. [REVIEW]Abraham Robinson - 1965 - Journal of Symbolic Logic 30 (2):243-244.
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.
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Review: Georg Kreisel, Hilbert's Programme. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):228-229.
Reviewed Work: David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 by William Ewald; Wilfried Sieg. [REVIEW]Review by: Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365,.
Review: G. Kreisel, Some Remarks on the Foundations of Mathematics. An Expository Article. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (1):60-61.

Analytics

Added to PP
2017-02-21

Downloads
7 (#1,411,895)

6 months
1 (#1,516,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hilbert's programme.Georg Kreisel - 1958 - Dialectica 12 (3‐4):346-372.
Well-foundedness in Realizability.M. Hofmann, J. van Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.

Add more citations

References found in this work

No references found.

Add more references