The Computer Modelling of Mathematical Reasoning

Bundy Alan

ISBN 10: 0121412520 / ISBN 13: 9780121412524

Published by Elsevier, 1983

About this Item

pp. xiv + 322. Seller Inventory # 1845381492

Bibliographic Details

Title: The Computer Modelling of Mathematical ...

Publisher: Elsevier

Publication Date: 1983

Binding: Soft cover

Condition: Used

About this title

Synopsis:

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 of mathematics is assumed in the introduction to the principles of mathematical logic. The plan of the book is such that students with varied backgrounds can find necessary information as quickly as possible. Exercises are included throughout the book.