✦ LIBER ✦

Model theory of Boolean products of subdirectly irreducible heyting algebras

✍ Scribed by Sprenger, Klaus-Hilmar

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Notes on sums of algebras, subdirect pro

✍ Anna Romanowska 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 158 KB

Partial algebras and complexity of satis

✍ van Alten, C.J. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 289 KB

Irreducible integrable theories from ten

✍ S.D. Mathur; N.P. Warner 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 470 KB

[Lecture Notes in Mathematics] Universal

✍ Freese, Ralph S.; Garcia, Octavio C. 📂 Article 📅 1983 🏛 Springer Berlin Heidelberg ⚖ 312 KB