000 | 01253cam a2200229 a 4500 | ||
---|---|---|---|
008 | 871116s1988 us b 001 0 eng | ||
020 | _a0821845209 | ||
041 | 1 | _aeng | |
080 |
_a510.6 _bDRA |
||
100 | 1 | _aDragalin, A.G | |
245 | 1 | 0 |
_aMathematical Intuitionism _bIntroduction to Proof Theory |
260 |
_aProvidence, R.I _bAmerican Mathematical Society _c1988 |
||
300 | _aix, 228p. | ||
440 | 0 | _aTranslations of mathematical monographs | |
500 | _aTranslation of Mathematical intuitionism | ||
505 | _aLogic 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. | ||
520 | _aIn 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. | ||
650 | 0 | _aIntuitionistic mathematics | |
690 | _aMathematics | ||
700 | _aMendelson, E (Translated) | ||
942 | _cBK | ||
999 |
_c14047 _d14047 |