Intensions, Church's thesis, and the formalization of mathematics.
-
Published:1987-10-01
Issue:4
Volume:28
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Author:
Goodman Nicolas D.
Publisher
Duke University Press
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. What is a Computer? A Survey;Minds and Machines;2018-05-25
2. Et and an infinitary church’s thesis;The Mathematical Intelligencer;1995-01
3. Syntactic Semantics;Thinking Computers and Virtual Persons;1994
4. Mathematics as natural science;Journal of Symbolic Logic;1990-03
5. Topological models of epistemic set theory;Annals of Pure and Applied Logic;1990-02