Elementos de lógica teórica - Hibert, David (Técnos, 1975)