@BOOK{ Book!D - 72121214,
AUTHOR = "Church, Alonzo",
TITLE = "Introduction to mathematical logic",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Logic, Symbolic and mathematical",
URL = "/book/72121214/Introduction-to-mathematical-logic/"}