An introduction to discrete mathematics, formal system specification, and Z /
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 and index.
0198538367 (pbk.) :
--Mathematics.
005.1'1