1. Experience and Theory. Kegan Paul, London 1966.
2. Introduction to Metamathematics. North-Holland Publ. Co., Amsterdam 1962.
3. and , The Mathematics of Metamathematics. Państwowe Wydawnictwo Naukowe, Warszawa 1963.
4. Introduction to Model Theory and the Metamathematics of Algebra. North-Holland Publ. Co., Amsterdam 1961.
5. Beweistheorie. Springer-Verlag, Berlin 1960.