TY  - BOOK
AU  - Domolki B Ed.
AU  -  Gergely T Ed.
TI  - Mathematical logic in computer science
U1  - R14obD6,8(B), M1 
PY  - 1981///
ER  -