000 00420nam a2200169Ia 4500
008 180424s9999 xx 000 0 und d
084 _a510.78 B18
100 _a"Bundy, Alan"
245 0 _aComputer Modelling of Mathematical Reasoning
250 _a\\198300ENGGPSX
260 _aAcademic
260 _b1983
260 _cNew York
300 _axiv+322p
500 _aincludes index and biblioraphy
942 _cBK
999 _c48394
_d48394