This review of the work done to date on the computer modelling of mathematical reasoning processes brings together a variety of approaches and disciplines within a coherent frame. A limited knowledge... This description may be from another edition of this product.