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