Description

Book Synopsis
In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. This book intends to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic.

Table of Contents
Logic Arithmetic Algebraic models Analysis Eliminability of cuts in the intuitionistic simple theory of types in the form of a sequent calculus with extensionality Appendix A: An algebraic approach to models of realizability type Appendix B: A strong form of the normalization theorem.

Mathematical Intuitionism

    Product form

    £131.40

    Includes FREE delivery

    RRP £146.00 – you save £14.60 (10%)

    Order before 4pm tomorrow for delivery by Mon 22 Jun 2026.

    A Paperback by A.g. Dragalin, E. Mendelson

    Out of stock


      View other formats and editions of Mathematical Intuitionism by A.g. Dragalin

      Publisher: MP-AMM American Mathematical
      Publication Date: 12/30/1988 12:00:00 AM
      ISBN13: 9780821845202, 978-0821845202
      ISBN10: 0821845209

      Description

      Book Synopsis
      In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. This book intends to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic.

      Table of Contents
      Logic Arithmetic Algebraic models Analysis Eliminability of cuts in the intuitionistic simple theory of types in the form of a sequent calculus with extensionality Appendix A: An algebraic approach to models of realizability type Appendix B: A strong form of the normalization theorem.

      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