✦ LIBER ✦

Formal Definitions in the Theory of Ordinal Numbersby Alonzo Church; S. C. Kleene

✍ Scribed by Review by: Barkley Rosser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Forms of Predicates in the Theory

✍ Review by: Werner Markwald 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 303 KB

On the Forms of Predicates in the Theory

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

A Theorem on Parametric Boolean Function

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

S. C. Kleene. Disjunction and existence

✍ Thacher Robinson, T. (author) 📂 Article 📅 1963 🏛 Cambridge University Press (CUP) 🌐 English ⚖ 348 KB

Finite Axiomatizability of Theories in t

✍ Review by: Mihály Makkai 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 376 KB

Note on Axiomatic Set Theory I. The Inde

✍ Review by: Gert Heinz Müller 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 190 KB