An introduction to discrete mathematics, formal system specification, and Z /
D.C. Ince.
- 2nd ed.
- Oxford : New York : Clarendon Press ; Oxford University Press, 1992.
- x, 286 p. : ill. ; 24 cm.
- Oxford applied mathematics and computing science series .
Includes bibliographical references (p. [280]-282) and index.