Logic for computer scientists
Schoning, Uwe, 1955-
Logic for computer scientists Uwe Schoning. - Boston : Birkhauser, 1989. - 166 p. : ill. ; 24 cm. - Progress in computer science and applied logic ; v. 8 .
Translation of: Logik für Informatiker.
Includes bibliographical references (p. 155-159).
9780817647629
89017864
Logic, Symbolic and mathematical.
Logic programming.
QA9 / .S363 1989
511.3 / SCH-L
Logic for computer scientists Uwe Schoning. - Boston : Birkhauser, 1989. - 166 p. : ill. ; 24 cm. - Progress in computer science and applied logic ; v. 8 .
Translation of: Logik für Informatiker.
Includes bibliographical references (p. 155-159).
9780817647629
89017864
Logic, Symbolic and mathematical.
Logic programming.
QA9 / .S363 1989
511.3 / SCH-L