✦ LIBER ✦

On Definability of Ordinals in Logic with Infinitely Long Expressions

✍ Scribed by Akiko Kino

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Definability of Ordinals in Logic wit

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

Independence Proofs in Predicate Logic w

✍ Carol R. Karp 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 684 KB

Some Remarks on Infinitely Long Formulas

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

[IEEE Comput. Soc 16th Annual IEEE Sympo

✍ Huuskonen, T.; Hyttinen, T. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 560 KB

Long-term on-chip verification of system

✍ J. Viejo; J.I. Villar; J. Juan; A. Millan; E. Ostua; J. Quiros 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 787 KB

Some Problems and Results relevant to th

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