TY - BOOK ID - 127188591 TI - Éléments de logique mathématique : théorie des modèles AU - Kreisel, Georg AU - Krivine, Jean-Louis PY - 1967 PB - Paris: Dunod, DB - UniCat KW - Predicate Logic KW - Logic, symbolic and mathematical KW - Mathematical models UR - https://www.unicat.be/uniCat?func=search&query=sysid:127188591 AB - ER -