000 00382nam a22001571a 4500
003 UCSciLib
020 _a012141250
041 _aeng
080 _a510.6
_bB85
100 _aBundy, Alan
_94844
245 _aThe computer modelling of mathematical reasoning
260 _aLondon
_bAcademic
_c1983
300 _a322p.
942 _2udc
_cLB
999 _c180691
_d180691
945 _a1
_bAdmin Admin
_c1
_dAdmin Admin