@BOOK{ Book!D - 104434731,
AUTHOR = "Enderton, Herbert B",
TITLE = "<A> mathematical introduction to logic",
LIBRARY= "کتابخانه مرکزی دانشگاه صنعتی اصفهان",
SUBJECT = "Logic, Symbolic and mathematical",
URL = "/book/104434731/ltAgt-mathematical-introduction-to-logic/"}