BUNDY,A COMPUTER MODELLING OF MATHEMATICAL REASONING - LONDON ACADEMIC Dewey Class. No.: 621.3819535 B894