TY  - BOOK
AU  - Gottlob,Georg
TI  - Computer science logic
T2  - Lecture Notes in Computer Science, No.1584
SN  - 3540659226
U1  - 004 GOT 
PY  - 1999///
CY  - Berlin
PB  - Springer
N1  - Includes bibliographical references
ER  -