1. Einführung in die mathematische Logik. B. G. Teubner Verlagsgesellschaft. Leipzig 1959.
2. , Axiomatic set theory. Studies in Logic, Amsterdam 1958.
3. Meaning and necessity. The University of Chicago Press. Chicago, Illinois, 1956.
4. Einführung in die symbolische Logik. Springer-Verlag, Wien 1960.