✦ LIBER ✦

A Formal Theorem in Church's Theory of Typesby M. H. A. Newman; A. M. Turing

✍ Scribed by Review by: Leon Henkin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

The Use of Dots as Brackets in Church's

✍ Review by: H. E. Vaughan 📂 Article 📅 1943 🏛 Association for Symbolic Logic 🌐 English ⚖ 204 KB

On Theories with a Combinatorial Definit

✍ Review by: H. E. Vaughan 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

The Use of Dots as Brackets in Church's

✍ A. M. Turing 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 965 KB

A Theorem in Combinatory Topology

✍ Newman, M. H. A. 📂 Article 📅 1931 🏛 Oxford University Press 🌐 English ⚖ 183 KB

Mathematical Methods in the Theory of Qu

✍ Review by: S. Vajda 📂 Article 📅 1961 🏛 Blackwell Publishing ⚖ 360 KB