Elementos de lógica teórica - Hilbert, David, 1862-1943.; Ackermann, W. (Wilhelm), 1896- (Madrid : Tecnos, 1962)
Traducción de: Grundzüge der theoretischen Logik. 4ª ed.
Bibliography: p. 169-170.