TY  - BOOK
A1  - edited by Martin Davis
TI  - The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
PB  - کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان
SN  - 95026450
UR  /book/95026450/The-undecidable-basic-papers-on-undecidable-propo/
ER  -