The Computer Modelling of Mathematical Reasoning

Bundy, Alan

ISBN 10: 0121412520 / ISBN 13: 9780121412524

Published by Academic Press, 1986

About this Item

4th Printing. Good condition paperback with minimal wear. Contents are clean and bright throughout with no markings. Seller Inventory # 9999-9993301333

Bibliographic Details

Title: The Computer Modelling of Mathematical ...

Publisher: Academic Press

Publication Date: 1986

Binding: Soft cover

Condition: Good

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.