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

Free PDF Publishing Guide Available

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

Tel: 01733 404828 Email: Twitter: