Computer Model Math Reasoning

by Unknown Author

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.

322 pages, Hardcover

First published December 1, 1983

About the author

Books with known authors are imported from Amazon to this profile. Please do not merge this profile into Unknown.