✦ LIBER ✦

A Note on the Entscheidungs Problemby Alonzo Church

✍ Scribed by Review by: Paul Bernays

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Cases of the Decision Problemby

✍ Review by: Wilhelm Ackermann 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 359 KB

On the Concept of a Random Sequenceby Al

✍ Review by: Arthur H. Copeland 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 327 KB

A Note on the Entscheidungsproblem

✍ Alonzo Church 📂 Article 📅 1936 🏛 Association for Symbolic Logic 🌐 English ⚖ 270 KB

Correction to a Note on the Entscheidung

✍ Alonzo Church 📂 Article 📅 1936 🏛 Association for Symbolic Logic 🌐 English ⚖ 249 KB

A Logistical Approach to the Ontological

✍ Review by: Alonzo Church 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 218 KB

A Variant of a Recursively Unsolvable Pr

✍ Review by: Alonzo Church 📂 Article 📅 1947 🏛 Association for Symbolic Logic 🌐 English ⚖ 345 KB