TY - BOOK ID - 1119908 TI - Model theory and topoi : a collection of lectures by various authors AU - Lawvere, Francis William AU - Maurer, Christian AU - Wraith, Gavin PY - 1975 VL - 445 SN - 3540071644 0387071644 3540374957 9783540071648 PB - Berlin : Springer-Verlag, DB - UniCat KW - Mathematical logic KW - 510.6 KW - Model theory. KW - Toposes. KW - 510.6 Mathematical logic KW - Model theory KW - Toposes KW - Théorie des modèles KW - Logique algébrique KW - Topos (mathématiques) KW - Algebraic logic KW - Logique algébrique. KW - Topos (mathématiques) KW - Algebraic logic. KW - Logique mathématique KW - Catégories (mathématiques) UR - https://www.unicat.be/uniCat?func=search&query=sysid:1119908 AB - ER -