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.
"synopsis" may belong to another edition of this title.
Book Description Academic Pr, 1983. Paperback. Book Condition: New. Bookseller Inventory # DADAX0121412520
Book Description Academic Pr, 1983. Paperback. Book Condition: New. book. Bookseller Inventory # 0121412520
Book Description Academic Pr. PAPERBACK. Book Condition: New. 0121412520 New Condition. Bookseller Inventory # NEW4.0039981
Book Description Book Condition: Brand New. Book Condition: Brand New. Bookseller Inventory # 97801214125241.0