TY  - GEN
AU  - Ince, D.C.
TI  - An introduction to discrete mathematics and formal system specification
SN  - 0194424332
U1  - 511.2 
PY  - 1988///
CY  - Oxford
PB  - Oxford University Press
KW  - Mathematics
ER  -