TY  - BOOK
A1  - Kurki-Suonio, Reino.
TI  - A programmer's introduction to computability and formal languages
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72122087
UR  /book/72122087/A-programmers-introduction-to-computability-and-f/
ER  -