@BOOK{ Book!D - 88661487,
AUTHOR = "Boolos, George.",
TITLE = "Computability and logic",
LIBRARY= "كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم)",
SUBJECT = "، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.",
URL = "/book/88661487/Computability-and-logic/"}