Edinburgh Research Explorer

The Computer Modelling of Mathematical Reasoning

Research output: Book/ReportBook

Related Edinburgh Organisations

Documents

  • Download as Adobe PDF

    Rights statement: Copyright Alan Bundy 2014

    17 MB, PDF-document

    License: Creative Commons: Attribution (CC-BY)

Original languageEnglish
PublisherAcademic Press
Number of pages336
ISBN (Print)978-0121412524
StatePublished - Dec 1983

Abstract

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.

Download statistics

No data available

ID: 404274