TY  - BOOK
AU  - BUNDY,ALAN
TI  - COMPUTER MODELLING OF MATHEMATICAL REASONING
SN  - NCST
U1  - 901 
PY  - 1983///
CY  - LONDON
PB  - AP
ER  -