Manna, Zohar
The logical basis for computer programming /
Zohar manna, Richard waldinger
- volúmenes
- Addison-wesley series in computer science .
Contenido: v.1, deductive reasoning
0201182602 (v.1.)
Lógica simbólica y matemática
Programación de computadoras
QA76.6 / M346