TY  - BOOK
AU  - Bundy, Alan
TI  - The computer modelling of mathematical reasoning
SN  - 121412504
PY  - 1983///
CY  - London
PB  - Academic
ER  -