Elementos de lógica teórica - Hibert, David ((Estructura y función, 1975)