TY  - BOOK
A1  - D.C. Ince
TI  - An introduction to discrete mathematics, formal system specification, and Z
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101372727
UR  /book/101372727/An-introduction-to-discrete-mathematics-formal-sy/
ER  -