Dragalin, A.G
Mathematical Intuitionism Introduction to Proof Theory - Providence, R.I American Mathematical Society 1988 - ix, 228p. - Translations of mathematical monographs .
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.
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.
0821845209
Intuitionistic mathematics
510.6 / DRA
Mathematical Intuitionism Introduction to Proof Theory - Providence, R.I American Mathematical Society 1988 - ix, 228p. - Translations of mathematical monographs .
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.
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.
0821845209
Intuitionistic mathematics
510.6 / DRA