TY  - BOOK
A1  -  Martin Davis, editor
TI  - Solvability, provability, definability :
PB  - کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 89965354
UR  /book/89965354/Solvability-provability-definability/
ER  -