Lógica matemática elemental - Mates, Benson (Serie de filosofía y ensayo., 1970)