Logic for computer scientists
By: Uwe Schöning.
Series: Progress in computer science and applied logic ;; v. 8
Publisher: Birkhäuser
Published: 1989
Place of publication: Boston
Language: eng
Number of pages: 166
Subjects: Logic, Symbolic and mathematical.; Logic programming.
Notes: Includes bibliographical references (p. 155-159).
Translation of: Logik für Informatiker.