TY - BOOK A1 - James L. Hein TI - Discrete structures, logic, and computability PB - کتابخانه پژوهشگاه دانشهای بنیادی SN - 101386421 UR /book/101386421/Discrete-structures-logic-and-computability/ ER -