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