TY - BOOK AU - Addison J.W. Ed. AU - Henkin Leon Ed. AU - Tarski Alfred Ed. TI - Theory of models: Proceedings of the 1963 international symposium at Brekeley T2 - Studies in logic U1 - R14p1:N63, K5;2 CY - Amsterdum PB - North-Hollend Pub. Co. KW - PHILOSOPHY ER -