@BOOK{ Book!D - 101386715,
AUTHOR = "edited by Martin Davis",
TITLE = "The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions",
URL = "/book/101386715/The-undecidable-basic-papers-on-undecidable-prop/"}