Estantes Virtuales
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)