BUNDY,ALAN

COMPUTER MODELLING OF MATHEMATICAL REASONING - 1 - LONDON AP 1983 - 322

NCST 237.6

901