✦ LIBER ✦

On the Forms of Predicates in the Theory of Constructive Ordinalsby S. C. Kleene

✍ Scribed by Review by: H. E. Vaughan

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

Finite Axiomatizability of Theories in t

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

On Predicates Expressible in the 1-Funct

✍ Review by: D. A. Clarke 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 360 KB

Self-Predication and Linguistic Referenc

✍ Jerry S. Clegg 📂 Article 📅 1973 🏛 Brill 🌐 Italian ⚖ 677 KB

Realizability and Shanin's Algorithm for

✍ Review by: Donald L. Kreider 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 135 KB

Formal Definitions in the Theory of Ordi

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