TY  - BOOK
AU  - Makowsky, Johann A.
TI  - Computer science logic / 
SN  - 3-540-40801-0
U1  - 004 
PY  - 2003///
CY  - Berlin
PB  - Springer
KW  - Computer science
N1  - Includes index
ER  -