@BOOK{ Book!D - 100997960,
AUTHOR = "/ (by) George Boolos (and) Richard Jeffrey",
TITLE = "Computability and logic",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Computable functions,Recursive functions,Logic, Symbolic and mathematical,Computable functions",
URL = "/book/100997960/Computability-and-logic/"}