TY - BOOK ID - 27211200 TI - Beginning model theory: : the completeness theorem and some consequences PY - 1977 SN - 0198531575 9780198531579 PB - Oxford: Clarendon, DB - UniCat KW - 510.67 KW - Completeness theorem KW - Logic, Symbolic and mathematical KW - Model theory KW - 510.67 Theory of models KW - Theory of models KW - Complétude, Théorème de KW - Introduction KW - Completeness theorem. KW - Mathematics (General) KW - Mathematics (General). KW - Model theory. KW - 510.6 KW - 510.6 Mathematical logic KW - Mathematical logic KW - Logique mathématique KW - Théorie des modèles KW - Logique mathématique. KW - Théorie des modèles. KW - Complétude, Théorème de. KW - Introduction. KW - Théorie des modèles KW - Logique mathématique UR - https://www.unicat.be/uniCat?func=search&query=sysid:27211200 AB - ER -