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