Review: Haskell B. Curry, The System LD; Haskell B. Curry, On the Definition of Negation by a Fixed Proposition in Inferential Calculus
Paul Bernays
Source: J. Symbolic Logic Volume 18, Issue 3
(1953), 266-268.
Reviewed Works:
Haskell B. Curry, The System LD.
Haskell B. Curry, On the Definition of Negation by a Fixed Proposition in Inferential Calculus.
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/1183731659
JSTOR: links.jstor.org
