1. Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M
2. Correction to a paper on modal logic
3. Foundations of Mathematical Logic. McGraw-Hill Book Company, Inc. New York 1963.
4. Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums, Heft 4 (1933). 39–40.
5. Mathematische Gesetze der Logik I. Springer-Verlag, Berlin 1960.