Estantes Virtuales
TítuloAutorLugarEdicíon
Foundations of logic programming Lloyd, J. W. Berlín (c1984)
Logic for mathematicians Hamilton, A. G. Cambridge Rev. ed., repr.   (2000)
Modal Logic Blackburn, Patrick Nueva York 4th ed.   (2010)