@书籍{zbMATH02514643，作者={Hilbert，D.和Ackermann，W.}，标题={Grundz{\“u}ge der theoretischen{Logik}.}，F系列={Grundlehren der Mathematischen Wissenschaften}，系列={Grundlehren Math.Wiss.}，ISSN={0072-7830}，体积={27}，年份={1938}，出版商={Springer，Cham}，语言={德语}，zbMATH={2514643}，JFM={64.0026.05}}