@BOOK{ Book!D - 91690144,
AUTHOR = "DAVIS,MARTIN",
TITLE = "Computability & unsolvability",
LIBRARY= "کتابخانه مرکزی دانشگاه صنعتی امیرکبیر",
SUBJECT = " RECURSIVE FUNCTIONS  , UNSOLVABILITY )MATHEMATICAL LOGIC(  , COMPUTERS FUNCTIONS  ",
URL = "/book/91690144/Computability-unsolvability/"}