TY - BOOK ID - 146103670 TI - The syntax and semantics of infinitary languages [: symposium on infinitary logic held at UCLA on December 28-30, 1967] PY - 1968 PB - Berlin : Springer-Verlag, DB - UniCat KW - Théorie des modèles KW - Logique mathématique KW - Récursivité, Théorie de la KW - Model theory. KW - Logic, Symbolic and mathematical. UR - https://www.unicat.be/uniCat?func=search&query=sysid:146103670 AB - ER -