TY  - BOOK
AU  - Dragalin,A.G
AU  - Mendelson, E (Translated)
TI  - Mathematical Intuitionism: Introduction to Proof Theory
SN  - 0821845209
PY  - 1988///
CY  - Providence, R.I
PB  - American Mathematical Society
KW  - Intuitionistic mathematics
N1  - Translation of Mathematical intuitionism; 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
N2  - 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
ER  -