Elementos de lógica teórica - Hilbert, David (Estructua y función, 1993)