@BOOK{ Book!D - 89955677,
AUTHOR = " Daniel E. Cohen",
TITLE = "Computability and logic /",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computable functions,Logic, Symbolic and mathematical",
URL = "/book/89955677/Computability-and-logic/"}