Description

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Product form

£26.10

Includes FREE delivery
RRP: £29.00 You save £2.90 (10%)
Usually despatched within 5 days
Paperback / softback by Geoffrey Hunter

1 in stock

Short Description:

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e.,... Read more

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

    Number of Pages: 302

    Non Fiction , Mathematics & Science , Education

    Description

    This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

    Customer Reviews

    Be the first to write a review
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)

    Recently viewed products

    © 2025 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