TY  - BOOK
A1  - DAVIS,MARTIN DAVID
TI  - Computability & unsolvability
PB  - کتابخانه مرکزی دانشگاه صنعتی امیرکبیر
SN  - 91676464
UR  /book/91676464/Computability-unsolvability/
ER  -