@BOOK{ Book!D - 101372967,
AUTHOR = "Hans Hermes; translated from German by Diana Schmidt",
TITLE = "Introduction to mathematical logic",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Logic, Symbolic and mathematical",
URL = "/book/101372967/Introduction-to-mathematical-logic/"}