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

£24.65

Includes FREE delivery

RRP £29.00 – you save £4.35 (15%)

Order before 4pm tomorrow for delivery by Wed 21 Jan 2026.

A Paperback / softback by Geoffrey Hunter

1 in stock


    View other formats and editions of Metalogic by Geoffrey Hunter

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

    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