Introducción a la lógica matemática - GALICIA ARRAMBIDE, Moisés (McGraw-Hill, 1980)