@BOOK{ Book!D - 101372872,
AUTHOR = "Martin Davis, editor",
TITLE = "Solvability, provability definability : The collected works of Emil L. Post",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Post, Emil Leon, 7981-4591,، Logic, Symbolic and mathematical",
URL = "/book/101372872/Solvability-provability-definability-The-collec/"}