Farré Cierra, Rafael,
Lógica para informáticos /
Rafel Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell, Josefina Sierra Santibañez
- 206 páginas : ilustraciones
9786077071655
Lógica simbólica y matemática
QA76.9M35 / F37