Luis de Ledesma
Lógica para la Computación: Teorías de primer orden, resolución y elementos de programación - Primera - Mexico Alfaomega 2010 - 174 p.
978-607-7854-33-3
001 / L222c
Lógica para la Computación: Teorías de primer orden, resolución y elementos de programación - Primera - Mexico Alfaomega 2010 - 174 p.
978-607-7854-33-3
001 / L222c