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