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