[Lecture Notes in Mathematics] Algebra and Logic Volume 450 || Frames and models in modal logic

[Lecture Notes in Mathematics] Categoric

✍ Borceux, Francis 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg ⚖ 380 KB

[Lecture Notes in Mathematics] Model The

✍ Lawvere, F. William; Maurer, Christian; Wraith, Gavin C. 📂 Article 📅 1975 🏛 Springer Berlin Heidelberg ⚖ 535 KB

[Lecture Notes in Mathematics] Toposes,

✍ Bucur, I.; Giraud, J.; Goodman, N.; Myhill, J.; Illusie, L.; Lambek, J.; Scott, 📂 Article 📅 1972 🏛 Springer Berlin Heidelberg ⚖ 837 KB

[Lecture Notes in Mathematics] Toposes,

✍ Bucur, I.; Giraud, J.; Goodman, N.; Myhill, J.; Illusie, L.; Lambek, J.; Scott, 📂 Article 📅 1972 🏛 Springer Berlin Heidelberg ⚖ 837 KB

[Lecture Notes in Computer Science] Logi

✍ Ono, Hiroakira; Kanazawa, Makoto; de Queiroz, Ruy 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 198 KB

[Lecture Notes in Computer Science] Logi

✍ Voronkov, A. 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 995 KB