Estantes Virtuales
Estantes
Otras versiones y ediciones de la bibliografía.
Programas de estudio
TítuloAutorLugarEdicíon
Foundations of logic programming Lloyd, J. W. Berlín 2nd ed., 1st corr. print.   (1993)
Lógica para matemáticos Hamilton, A. G. Madrid (1981)