TY  - BOOK
A1  - / (by) George Boolos (and) Richard Jeffrey
TI  - Computability and logic
PB  - كتابخانه پردیس علوم (دانشگاه تهران)
SN  - 100997960
UR  /book/100997960/Computability-and-logic/
ER  -