TY - BOOK ID - 145472374 TI - The theory of models : proceedings of the 1963 international symposium at Berkeley AU - Addison, J. W. AU - Henkin, Leon AU - Tarski, Alfred AU - International symposium on the theory of models : PY - 1972 PB - Amsterdam : Elsevier North-Holland, DB - UniCat KW - Logic, Symbolic and mathematical KW - Logique mathématique. KW - Model theory KW - Théorie des modèles. UR - https://www.unicat.be/uniCat?func=search&query=sysid:145472374 AB - ER -