1928年他跟 大卫·希尔伯特合写《理论逻辑原理》(Grundzuge der Theoretischen Logik)。他又写了Solvable cases of the decision problem (North Holland, 1954)。
他死于德国,终年66岁。