Elementos de lógica teórica - Hilbert, David (Estructura y función; 6, 1962)