Bundy, Alan <br/><br/>
The computer modelling of mathematical reasoning 
Alan Bundy 
 - London  Academic  1983 
 - xiv, 322p 
<br/><br/><label>ISBN: </label>121412504