Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 28 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 28 · NO. 4 | October 1987
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 28, issue 4 (1987)
Notre Dame J. Formal Logic 28 (4), (October 1987) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Intensions, Church's thesis, and the formalization of mathematics.
Nicolas D. Goodman
Notre Dame J. Formal Logic 28 (4), 473-489, (October 1987) DOI: 10.1305/ndjfl/1093637644 Open Access
KEYWORDS: 03A05, 00A25
No abstract available
DOWNLOAD PAPER
Reflections on Church's thesis.
Stephen C. Kleene
Notre Dame J. Formal Logic 28 (4), 490-498, (October 1987) DOI: 10.1305/ndjfl/1093637645 Open Access
KEYWORDS: 03D20, 01A60, 03-03, 03A05
No abstract available
DOWNLOAD PAPER
Church's thesis and the ideal of informal rigour.
Georg Kreisel
Notre Dame J. Formal Logic 28 (4), 499-519, (October 1987) DOI: 10.1305/ndjfl/1093637646 Open Access
KEYWORDS: 03A05, 00A25
No abstract available
DOWNLOAD PAPER
Turing projectability.
Timothy McCarthy, Stewart Shapiro
Notre Dame J. Formal Logic 28 (4), 520-535, (October 1987) DOI: 10.1305/ndjfl/1093637647 Open Access
KEYWORDS: 03D10, 03D20
No abstract available
DOWNLOAD PAPER
Variations on a thesis: intuitionism and computability.
Charles McCarty
Notre Dame J. Formal Logic 28 (4), 536-580, (October 1987) DOI: 10.1305/ndjfl/1093637648 Open Access
KEYWORDS: 03F55, 03A05
No abstract available
DOWNLOAD PAPER
Church's thesis and cognitive science.
R. J. Nelson
Notre Dame J. Formal Logic 28 (4), 581-614, (October 1987) DOI: 10.1305/ndjfl/1093637649 Open Access
KEYWORDS: 03A05, 00A30, 03D20
No abstract available
DOWNLOAD PAPER
Wittgenstein versus Turing on the nature of Church's thesis.
S. G. Shanker
Notre Dame J. Formal Logic 28 (4), 615-649, (October 1987) DOI: 10.1305/ndjfl/1093637650 Open Access
KEYWORDS: 03A05, 01A60
No abstract available
DOWNLOAD PAPER
Back Matter
Volume 28 contents.
Notre Dame J. Formal Logic 28 (4), 651-654, (October 1987) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 28, issue 4 (1987)
Notre Dame J. Formal Logic 28 (4), (October 1987) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top