Notre Dame Journal of Formal Logic

Reflections on Church's thesis.

Stephen C. Kleene

Full-text: Open access

Article information

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

Dates
First available in Project Euclid: 27 August 2004

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

Zentralblatt MATH identifier
0649.03001

Mathematical Reviews number (MathSciNet)
MR912644

Digital Object Identifier
doi:10.1305/ndjfl/1093637645

Subjects
Primary: 03D20: Recursive functions and relations, subrecursive hierarchies
Secondary: 01A60: 20th century 03-03: Historical (must also be assigned at least one classification number from Section 01) 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}

Citation

Kleene, Stephen C. Reflections on Church's thesis. Notre Dame J. Formal Logic 28 (1987), no. 4, 490--498. doi:10.1305/ndjfl/1093637645. http://projecteuclid.org/euclid.ndjfl/1093637645.


Export citation