✦ LIBER ✦

Independence-friendly logic and axiomatic set theory

✍ Scribed by Jaakko Hintikka

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Proofs of Independence in Axiomatic

✍ Elliott Mendelson 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 1009 KB

Absolutely independent axiomatizations f

✍ Joanna Grygiel 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 377 KB

Independendly-Friendly Logic: Dependence

✍ Gabriel Sandu 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 168 KB

Some Proofs of Independence in Axiomatic

✍ Review by: Dana Scott 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 503 KB

A System of Axiomatic Set Theory--Part V

✍ Paul Bernays 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 414 KB

Sets, Logic, and Axiomatic Theoriesby Ro

✍ Review by: Alfons Borgers 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 352 KB