@BOOK{ Book!D - 104423349,
AUTHOR = "Manin, IU. I",
TITLE = "<A> course in mathematical logic",
LIBRARY= "کتابخانه مرکزی دانشگاه صنعتی اصفهان",
SUBJECT = "Logic, Symbolic and mathematical",
URL = "/book/104423349/ltAgt-course-in-mathematical-logic/"}