ENGLISH

The computer modelling of mathematical reasoning

By Alan Bundy

Book information

Publisher
Academic Press
Year
1983
ISBN
0121412504, 9780121412500, 0121412520
LCC
QA76.95 .B86 1983
Language
english
Format
DJVU
Filesize
2 MB (2602836 bytes)
Pages
413\413
Library
kolxoz
DPI
600
Scanned
yes
Time added
2009-12-04 00:34:26

Description

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.

Similar books