@BOOK{ Book!D - 93583063,
AUTHOR = "",
TITLE = "Computability and logic",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "Computable functions,Recursive functions,Logic, Symbolic and mathematical",
URL = "/book/93583063/Computability-and-logic/"}