TY  - BOOK
AU  - B Domolki and T Gergely 
AU  - Domolki, B     Gergely, T 
TI  - Mathematical Logic In Computer Science 
SN  - 0444854401
U1  - 511.3 DOM G  
PY  - 1981///
CY  - Amsterdam
PB  - North Holland
KW  -  
KW  -  Mathematical Logic 
KW  - Mathematics 
ER  -