000 00664nam a2200217Ii 4500
003 JO-AjNU
008 230606s9999||||xx |||||||||||||| ||und||
020 _a0-19-85386-7
040 _aJO-AjNU
_beng
_erda
_cJO-AjNU
041 _aeng
050 1 4 _aQA76.28 .I52 1992
100 3 _a Ince, D.C. ,
_eauthor
_91007
245 0 0 _a An introduction to discrete mathematics and formal system specification
250 _a2 ed
264 3 1 _aClarendn press:oxford,1992
300 _a286p
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
650 4 _a Electronic data processing -- Mathematics 
_91008
999 _aE529
_c529
_d529