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