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