TY  - BOOK
AU  - Domolki B
AU  - Gergely T
TI  - Mathematical logic in computer science
SN  - 0-444-35440-1
U1  - 005.131 
PY  - 1981///
CY  - Amsterdam
PB  - North Holland
KW  - Computer science
KW  - Mathematical logic
ER  -