TY - BOOK ID - 131445872 TI - Éléments de logique mathématique : théorie des modèles AU - Kreisel, G. AU - Krivine, J.L. PY - 1967 PB - Paris Dunod DB - UniCat KW - Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:131445872 AB - ER -