000 00396nam a2200157Ia 4500
003 LDD
008 181029s9999 xx 000 0 und d
020 _a121412504
040 _cLDD
100 _aBundy, Alan
245 4 _aThe computer modelling of mathematical reasoning
_cAlan Bundy
260 _aLondon
_bAcademic
_c1983
300 _axiv, 322p
901 _a314
_b12-03-1996
942 _2ddc
_cBK
999 _c27891
_d27891