TY  - GEN
AU  - Domolki, B.
AU  - Gergely, T.
AU  - 
TI  - MATHEMATICAL LOGIC IN COMPUTER SCIENCE
U1  - 511.302854 
PY  - 1981///
CY  - Amsterdam
PB  - North-Holland
KW  - Logic, Symbolic And Mathematical
N1  - Organized By Bolyai Janos Mathematical Society
ER  -