1. A topological proof of the Löwenheim-Skolem-Gödel theorem;Beth;Indagationes mathematicae,1951
2. Éléments de mathématiques. I-ère partie;Bourbaki,1951
3. Model theories with truth values in a uniform space;Chang;Bulletin of the American Mathematical Society,1962
4. Axiomatizability of some many valued predicate calculi;Mostowski;Fundamenta mathematicae,1961
5. J. R. Büchi. On a decision method in restricted second order arithmetic. Logic, Methodology and Philosophy of Science. Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes and Alfred Tarski. Stanford University Press, Stanford 1962. Pp. 1–11.