Lógica matemática : - Obeso Fernández, Virgilio (Editorial Universidad del Norte, 2012)