✦ LIBER ✦

Independence Proofs in Predicate Logic with Infinitely Long Expressions

✍ Scribed by Carol R. Karp

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Remarks on Infinitely Long Formulas

✍ Review by: Thomas Frayne 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 307 KB

Remarks on Predicate Logic with Infinite

✍ Review by: Thomas Frayne 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 299 KB

On Definability of Ordinals in Logic wit

✍ Akiko Kino 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 827 KB

On Definability of Ordinals in Logic wit

✍ Review by: Carol Karp 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 212 KB

Some Problems and Results relevant to th

✍ Review by: Thomas Frayne 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 299 KB