Title: Fundamentos de lógica matemática y computación
Subjects: Tratados, manuales, Lógica matemática