A Formal Theorem in Church's Theory of T
✍
M. H. A. Newman and A. M. Turing
📂
Article
📅
1942
🏛
Association for Symbolic Logic
🌐
English
⚖ 442 KB