Fundamentos de lógica de programación : conceptos fundamentales, demostraciones y ejercicios. - Tamayo Silva, Félix Manuel (Editorial Académica Española, 2012)