| 000 | 00382nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 180611s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a1214125204 | ||
| 041 | _aen | ||
| 082 | _a001.53'5 | ||
| 100 | _aBUNDY, Alan. | ||
| 245 | 4 | _aThe Computer Modelling of Mathematical Reasoning | |
| 250 | _a4th | ||
| 260 |
_aLondon _bAcademic Press _c1986 |
||
| 300 | _axv, 403 p. | ||
| 942 | _cLL | ||
| 999 |
_c7560 _d7560 |
||