TY  - BOOK
A1  - 
TI  - Computability and logic
PB  - كتابخانه مركزی و مركز اسناد دانشگاه مازندران
SN  - 92961170
UR  /book/92961170/Computability-and-logic/
ER  -