Elementos de lógica teórica - Hilbert, David 1862-1943 (Tecnos, 1962)