TY  - BOOK
AU  - Alan, Bundy
TI  - THE COMPUTER MODELLING OF MATHEMATICAL REASONING
U1  - 001.535 
PY  - 1983///
CY  - London
PB  - Academic Press
KW  - Artificial Intelligence
N1  - Bibliography : P. 312-317
ER  -