Notre Dame Journal of Formal Logic

Intensions, Church's thesis, and the formalization of mathematics.

Nicolas D. Goodman

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 28, Number 4 (1987), 473-489.

Dates
First available: 27 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093637644

Zentralblatt MATH identifier
0656.03004

Mathematical Reviews number (MathSciNet)
MR912643

Digital Object Identifier
doi:10.1305/ndjfl/1093637644

Subjects
Primary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}
Secondary: 00A25

Citation

Goodman, Nicolas D. Intensions, Church's thesis, and the formalization of mathematics. Notre Dame Journal of Formal Logic 28 (1987), no. 4, 473--489. doi:10.1305/ndjfl/1093637644. http://projecteuclid.org/euclid.ndjfl/1093637644.


Export citation