Logic for computer science /
Reeves, Steve.
Logic for computer science / Steve Reeves, Michael Clarke. - Menlo Park, Calif. : Addison-Wesley, 1990. - 260 p. ; 24 cm.
Incluye bibliografia.
0-201-41643-3
QA9 / R44
Logic for computer science / Steve Reeves, Michael Clarke. - Menlo Park, Calif. : Addison-Wesley, 1990. - 260 p. ; 24 cm.
Incluye bibliografia.
0-201-41643-3
QA9 / R44