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