Lógica matemática elemental - Mates, Benson (Técnos, 1970)