Elementos de lógica teórica - Hilbert, David, 1862-1943 (Estructura y Función : El Porvenir Actual de la Ciencia, 1968)