BUNDY,ALAN COMPUTER MODELLING OF MATHEMATICAL REASONING - 1 - LONDON AP 1983 - 322 ISBN: NCST 237.6 Dewey Class. No.: 901