@BOOK{ Book!D - 72166487,
AUTHOR = "Rautenberg, Wolfgang.",
TITLE = "A concise introduction to mathematical logic",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Logic, Symbolic and mathematical",
URL = "/book/72166487/A-concise-introduction-to-mathematical-logic/"}