TY  - BOOK
A1  - 
TI  - Computability and logic
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93583063
UR  /book/93583063/Computability-and-logic/
ER  -