TY  - BOOK
A1  - / edited by B. Domolki and T. Gergely
TI  - Mathematical logic in computer science
PB  - كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی
SN  - 66693202
UR  /book/66693202/Mathematical-logic-in-computer-science/
ER  -