Description

Book Synopsis
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

Trade Review
`This is the most welcome addition to the literature on intuitionistic logic, providing a substantial reference of value comparable to that of better established references for classical mathematical logic. The development of Mints' book is natural, elegant and accessible, with a minimum of fuss but no lack of attention to important detail.
Overall, the book is an excellent addition to the literature.'
Mathematical Reviews, 2002b

Table of Contents
Introduction. I: Intuitionistic Propositional Logic. 1. Preliminaries. 2. Natural Deduction for Propositional Logic. 3. Negative Translation: Glivenko's Theorem. 4. Program Interpretation of Intuitionistic Logic. 5. Computations with Deductions. 6. Coherence Theorem. 7. Kripke Models. 8. Gentzen-type Propositional System LJpm. 9. Topological Completeness. 10. Proof-Search. 11. System LJpm. 12. Interpolation Theorem. II: Intuitionistic Predicate Logic. 13. Natural Deduction System NJ. 14. Kripke Models for Predicate Logic. 15. Systems LJm, LJ. 16. Proof-Search in Predicate Logic. References. Index.

A Short Introduction to Intuitionistic Logic University Series in Mathematics

    Product form

    A Hardback by Grigori Mints

    £107.99

    Includes FREE delivery

    RRP £11,999.00 – you save £11,891.01 (99%)

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

    1 in stock

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

      View other formats and editions of A Short Introduction to Intuitionistic Logic University Series in Mathematics by Grigori Mints

      Book details

      Publisher Springer Us
      Published 10/31/2000 12:00:00 AM
      ISBN-13 9780306463945
      978-0306463945
      ISBN-10 0306463946
      Also in:
      Computing Maths for computer scientists Mathematics Mathematical foundations Philosophy: logic

      Description

      Book Synopsis
      Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

      Trade Review
      `This is the most welcome addition to the literature on intuitionistic logic, providing a substantial reference of value comparable to that of better established references for classical mathematical logic. The development of Mints' book is natural, elegant and accessible, with a minimum of fuss but no lack of attention to important detail.
      Overall, the book is an excellent addition to the literature.'
      Mathematical Reviews, 2002b

      Table of Contents
      Introduction. I: Intuitionistic Propositional Logic. 1. Preliminaries. 2. Natural Deduction for Propositional Logic. 3. Negative Translation: Glivenko's Theorem. 4. Program Interpretation of Intuitionistic Logic. 5. Computations with Deductions. 6. Coherence Theorem. 7. Kripke Models. 8. Gentzen-type Propositional System LJpm. 9. Topological Completeness. 10. Proof-Search. 11. System LJpm. 12. Interpolation Theorem. II: Intuitionistic Predicate Logic. 13. Natural Deduction System NJ. 14. Kripke Models for Predicate Logic. 15. Systems LJm, LJ. 16. Proof-Search in Predicate Logic. References. Index.

      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