✦ LIBER ✦

Applications of Many-Sorted Robinson Consistency Theorem

✍ Scribed by Daniele Mundici

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Institution-Independent Proof of the

✍ Daniel Gâinâ; Andrei Popescu 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 365 KB

Two applications of a consistency theore

✍ Ky Fan 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 377 KB