Lógica matemática elemental - Mates, Benson