✦ LIBER ✦

The Calculus of Setsby M. H. A. Newman

✍ Scribed by Review by: Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extensions of Partially Ordered Setsby H

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

Relatively Complemented Algebrasby M. H.

✍ Review by: Saunders MacLane 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

Stratified Systems of Logicby M. H. A. N

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

Simplicity of Recursively Enumerable Set

✍ Review by: James C. Owings, Jr 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 448 KB

A Characterisation of Boolean Lattices a

✍ Review by: Saunders MacLane 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 313 KB

A Formal Theorem in Church's Theory of T

✍ Review by: Leon Henkin 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 177 KB