Review: Ettore Carruccio, Considerazioni Sulla Compatibilita di un Sistema di Postulati e Sulla Dimostrabilita delle Formule Mathematiche
Alonzo Church
Source: J. Symbolic Logic Volume 13, Issue 4
(1948), 225-226.
Reviewed Works:
Ettore Carruccio, Considerazioni Sulla Compatibilita di un Sistema di Postulati e Sulla Dimostrabilita delle Formule Mathematiche.
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/1183730547
JSTOR: links.jstor.org