✦ LIBER ✦

On the Forms of Predicates in the Theory of Constructive Ordinals (Second Paper)by S. C. Kleene

✍ Scribed by Review by: Werner Markwald

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Forms of Predicates in the Theory

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

Formal Definitions in the Theory of Ordi

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

On the Foundations of a Constructive The

✍ H. S. Vandiver 📂 Article 📅 1935 🏛 National Academy of Sciences 🌐 English ⚖ 198 KB

On Predicates Expressible in the 1-Funct

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

Finite Axiomatizability of Theories in t

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

Note on the Paper ‘Explanation of parado

✍ Childs, E. C.; Youngs, E. G. 📂 Article 📅 1968 🏛 American Geophysical Union 🌐 English ⚖ 82 KB