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

    £15.00

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Fri 7 Aug 2026.

    A Paperback by Mark Tarver

    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

      Publisher: Upfront Publishing
      Publication Date: Publication Date: 25/11/2014
      ISBN13: 9781784561277, 978-1784561277
      ISBN10: 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