Logic for computer scientists
Schoning, Uwe.
Logic for computer scientists [electronic resource] / by Uwe Schoning. - Boston, MA : Birkhauser Boston, 2008. - 166 p. : ill., digital ; 24 cm. - Modern Birkhauser classics .
9780817647636 (electronic bk.) 9780817647629 (paper)
Logic, Symbolic and mathematical.
Logic programming.
QA9 / .S363 2008
511.3
Logic for computer scientists [electronic resource] / by Uwe Schoning. - Boston, MA : Birkhauser Boston, 2008. - 166 p. : ill., digital ; 24 cm. - Modern Birkhauser classics .
9780817647636 (electronic bk.) 9780817647629 (paper)
Logic, Symbolic and mathematical.
Logic programming.
QA9 / .S363 2008
511.3
