@BOOK{ Book!D - 104459446,
AUTHOR = "Davis, Martin, 1928-",
TITLE = "Computability & unsolvability",
LIBRARY= "کتابخانه مرکزی دانشگاه صنعتی اصفهان",
SUBJECT = "Recursive functions ► Unsolvability (Mathematical logic) ► Computable functions",
URL = "/book/104459446/Computability-amp-unsolvability/"}