✦ LIBER ✦

New Sets of Postulates for Combinatory Logicsby Barkley Rosser

✍ Scribed by Review by: H. E. Vaughan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

New Sets of Postulates for Combinatory L

✍ Barkley Rosser 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 873 KB

Axiomatization of Infinite Valued Logics

✍ Review by: Robert McNaughton 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 140 KB

Sets of Postulates for Boolean Ringsby E

✍ Review by: Barkley Rosser 📂 Article 📅 1941 🏛 Association for Symbolic Logic 🌐 English ⚖ 195 KB

The Relative Strength of Zermelo's Set T

✍ Review by: Václav E. Beneš 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

On the Consistency of Quine's New Founda

✍ Review by: Paul Bernays 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 352 KB

The Combinatory Foundations of Mathemati

✍ Review by: Barkley Rosser 📂 Article 📅 1943 🏛 Association for Symbolic Logic 🌐 English ⚖ 207 KB