Una introducción matemática a la lógica - Enderton, Herbert B. ((Filosofía Contemporánea))