Description

Book Synopsis
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.

Logic, Proof and Computation second edition

    Product form

    A Paperback by Mark Tarver

    £15.00

    Includes FREE delivery

    Order before 4pm today for delivery by Wed 16 Sep 2026.

    15 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Logic, Proof and Computation second edition by Mark Tarver

      Book details

      Publisher Upfront Publishing
      Published 25 November 2014
      ISBN-13 9781784561277
      978-1784561277
      ISBN-10 1784561274
      Also in:
      Mathematics Philosophy of mathematics Philosophy: logic

      Description

      Book Synopsis
      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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account