TY  - BOOK
AU  - Schöning,Uwe
TI  - Logic for computer scientists
SN  - 0817634533 (alk. paper)
AV  - QA9 .S363 1989
U1  - 511.3 20
PY  - 1989///
CY  - Boston
PB  - Birkhäuser
KW  - Logic, Symbolic and mathematical
KW  - Logic programming
N1  - Translation of: Logik für Informatiker; Includes bibliographical references (p. 155-159)
ER  -