Hilbert, David, 1862-1943. Elementos de lógica teórica / D. Hilbert y W. Ackermann ; tr. de Victor Sánchez de Zavala. - 3a. ed. - Madrid : Tecnos, 1993. - 231p. - Estructura y función El porvenir y actual de la ciencia . ISBN: 8430905812 Encabezamiento--Tema: Lógica simbólica y matemática