那本书实际上是1928年出版的,共四章120页,第3章大概位于该书的三分之一处,章名是Der engere Funktionenkalkul,即"受限函数演算",也就是我们今天熟知的一阶谓词逻辑.作者写道:
Das Entscheidungsproblem ist gelost, wenn man ein Verfahren kennt, das bei einem vorgelegten logischen Ausdruck durch endlich viele Operationen die Entscheidung uber die Allgemeingultigkeit bzw. Erfullbarkeit