000 00477 a2200169 4500
999 _c31404
_d31404
003 WUSLLib
008 201009b ||||| |||| 00| 0 eng d
020 _a0194424332
041 _aEnglish
082 _a511.2
_bINC
100 _aInce, D.C.
_920277
245 _aAn introduction to discrete mathematics and formal system specification
260 _aOxford:
_bOxford University Press,
_c1988
300 _axi, 349p.:
_c23cm.
650 _aMathematics
_920278
942 _cSR
_2ddc