Schöning, Uwe, 1955-
Logic for computer scientists / Uwe Schöning. - Boston : Birkhäuser, 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).
0817634533 (alk. paper)
89017864
Computer Science
Logic, Symbolic and mathematical.
Logic programming.
QA9 / .S363 1989
511.3 / SCL
Logic for computer scientists / Uwe Schöning. - Boston : Birkhäuser, 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).
0817634533 (alk. paper)
89017864
Computer Science
Logic, Symbolic and mathematical.
Logic programming.
QA9 / .S363 1989
511.3 / SCL