Introducción a la lógica matemática - Galicia Arrambide, Moisés (McGraw-Hill, 1976)