Estantes Virtuales
TítuloAutorLugarEdicíon
Logic for mathematicians Hamilton, A. G. Cambridge Rev. ed., repr.   (2000)
Artificial Intelligence Russell, Stuart J. Nueva Jersey 3rd ed.   (2010)
Lógica para informática Pons, Claudia Fabiana La Plata 1a ed.   (2017)