Description

Book Synopsis
Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

Metalogic

    Product form

    £27.55

    Includes FREE delivery

    RRP £29.00 – you save £1.45 (5%)

    Order before 4pm tomorrow for delivery by Wed 5 Aug 2026.

    A Paperback / softback by Geoffrey Hunter

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

      View other formats and editions of Metalogic by Geoffrey Hunter

      Publisher: University of California Press
      Publication Date: Publication Date: 26/06/1973
      ISBN13: 9780520023567, 978-0520023567
      ISBN10: 0520023560

      Description

      Book Synopsis
      Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

      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