Undecidable theories / by Alfred Tarski in collaboration with Andrzej Mostowski and Raphael RobinsonOrdinal algebras / by Alfred Tarski ; with appendices by Chen-Chung Chang and Bjarni JónssonInleiding tot de logica en tot de methodeleer der deductieve wetenschappen / door Alfred Tarski ; Nederlandse bewerking door E.W. BethInleiding tot de logica en tot de methodeleer der deductieve wetenschappen / door Alfred Tarski ; Nederlandse bew. [uit het Amerikaans] door E.W. BethUndecidable theories / by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson
author
The Theory of models : proceedings of the International symposium [on the theory of models], Berkeley, 1963 / ed. by J.W. Addison, Leon Henkin and Alfred Tarski; [contrib. by E.W. Beth a.o.]Cylindric algebras / Leon HenkinThe axiomatic method : with special reference to geometry and physics : proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958 / ed. by Leon Henkin, Patrick Suppes, Alfred TarskiThe theory of models : proceedings of the 1963 International Symposium at Berkeley / ed. by J.W. Addisson, Leon Henkin, Alfred TarskiCylindric algebras / [by] Leon Henkin, J. Donald Monk (and) Alfred TarskiCylindric algebras / Leon Henkin