Relativized Realizability in Intuitionistic Arithmetic of All Finite Types
Nicolas D. Goodman
Source: J. Symbolic Logic Volume 43, Issue 1
(1978), 23-44.
First Page:
Show
Hide
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/1183740104
JSTOR: links.jstor.org
Mathematical Reviews number (MathSciNet): MR495115
Zentralblatt MATH identifier: 0395.03038
