FastPrint Publishing

Book Store

The Fast-Print Bookshop

Paperback Price: £15.00

Logic, Proof and Computation - Second Edition

By Mark Tarver


Logic, Proof and Computation - Second Edition Cover Image

Beginning with a review of formal languages and their syntax and semantics, Logic, Proof and Computation conducts a computer assisted course in formal reasoning and the relevance of logic to mathematical proof, information processing and philosophy.

Topics covered include formal grammars, semantics of formal languages, sequent systems, truth-tables, propositional and first order logic, identity, proof heuristics, regimentation, set theory, databases, automated deduction, proof by induction, Turing machines, undecidability and a computer illustration of the reasoning underpinning Gödel’s incompleteness proof.

LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.

Paperback ISBN: 9781784561277


Buy this Book

Paperback: £15.00


* All services are subject to respective shipping companies terms of service. For more information see respective companies website.



Contact Fast-Print Publishing Request Free Publishing Guide

Free PDF Publishing Guide Available

Free Publishing Guide
  • Or, Request a free printed copy here



9 Culley Court, Bakewell Road, Orton Southgate, Peterborough, PE2 6WA, UK

Tel: 01733 404828 Email: info@fast-print.net Twitter: twitter.com/FPPublishing