^［1］ 希尔伯特和阿克曼，Grundzüge der Theoretischen Logik（Springer，1928），73，77。

^［2］ 利奥波德·勒文海姆，“Über Möglichkeiten im Relativekalkül”，Mathematische Annalen，Vol. 76（1915），447-470。被译为“On Possibilities in the Calculus of Relatives”，参见Jean van Heijenoort，ed.，From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931（Harvard University Press，1967），228-251。

^［3］ 更为出名的是Egon Börger、Erich Grädel和Yuri Gurevich的The Classical Decision Problem（Springer，1997）。这本书是撰写判定问题和其部分解决方法论文时应该参考的好书。

^［4］ J. Richard Büchi，“Turing-Machines and the Entscheidungsproblem”，Mathematische Annalen，Vol. 148，No.3（June 1962），201-213。