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
D. van Dalen
Source: J. Symbolic Logic Volume 36, Issue 1
(1971), 169-171.
Reviewed Works:
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.
Full-text: Remote
access
If you are a member of the ASL,
log in to Euclid
for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183737546
JSTOR: links.jstor.org
