TY - BOOK AU - D.C.Ince TI - An Introduction to Discreate Mathematics and Formal System Specification CY - London KW - An Introduction to Discreate Mathematics and Formal System Specification ER -