@BOOK{ Book!D - 101386421,
AUTHOR = "James L. Hein",
TITLE = "Discrete structures, logic, and computability",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Computer science -- Mathematics",
URL = "/book/101386421/Discrete-structures-logic-and-computability/"}