AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

Mathematical Intuitionism: Introduction to Proof Theory

About this Title

A. G. Dragalin. Translated by E. Mendelson

Publication: Translations of Mathematical Monographs
Publication Year: 1988; Volume 67
ISBNs: 978-0-8218-4520-2 (print); 978-1-4704-4481-5 (online)
DOI: https://doi.org/10.1090/mmono/067
MathSciNet review: MR932457
MSC: Primary 03-02; Secondary 03Fxx

Read more about this volume

Table of Contents

Front/Back Matter

• View this volume's front and back matter

Chapters

• 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

View full volume PDF