TY  - BOOK
AU  - 
AU  - Ince,D.
TI  - An introduction to discrete mathematics, formal system specification, and Z
SN  - 0198538367 (pbk.) :
U1  - 005.1'1 
PY  - 1992///
CY  - Oxford, New York
PB  - Clarendon Press, Oxford University Press
KW  - Mathematics
N1  - Includes bibliographical references  and index
UR  - http://www.loc.gov/catdir/enhancements/fy0603/92028938-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0603/92028938-t.html
ER  -