TY  - BOOK
AU  - Domolki B Ed.
AU  -  Gergely T Ed.
TI  - Mathematical logic in computer science
T2  - Colloquia mathematica societatis janos bolyai; 26
U1  - D65,8(B):R14, M1 
PY  - 1981///
CY  - Amsterdam
PB  - North-Holland Publisher Co.       
KW  - Computer science
ER  -