AMS Bookstore LOGO amslogo
Return to List  Item: 1 of 1   
Mathematical Intuitionism: Introduction to Proof Theory
A. G. Dragalin

Translations of Mathematical Monographs
1988; 228 pp; softcover
Volume: 67
Reprint/Revision History:
reprinted 1992
ISBN-10: 0-8218-4520-9
ISBN-13: 978-0-8218-4520-2
List Price: US$83
Member Price: US$66.40
Order Code: MMONO/67
[Add Item]

In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. Nonclassical logics are used in the theory of computations, in information theory, and for the description of systems of heuristic programming. Intuitionistic logic is a particularly important nonclassical logic. The aim of this book is 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. The exposition, accessible to a wide audience, requires only an introductory course in classical mathematical 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
Powered by MathJax
Return to List  Item: 1 of 1   

  AMS Home | Comments:
© Copyright 2014, American Mathematical Society
Privacy Statement

AMS Social

AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia