数理逻辑基础

与威廉·阿克曼根据希尔伯特的讲课合写的教科书：它阐述了命题逻辑和一阶逻辑，并提出两个悬而未决的问题——一阶逻辑是否完全，以及是否存在判定程序——分别由哥德尔（1929）以及丘奇和图灵（1936）作出解答。

大卫·希尔伯特的更多作品