Mathematical intuitionism : introduction to proof theory
Author(s)
Bibliographic Information
Mathematical intuitionism : introduction to proof theory
（Translations of mathematical monographs, v. 67）
American Mathematical Society, c1988
- Other Title
-
Matematicheskiĭ intuit︠s︡ionizm
Математический интуиционизм
Available at / 49 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC19:511.3/D7842070083001
-
No Libraries matched.
- Remove all filters.
Note
Translation of: Математический интуиционизм
Bibliography: p. 201-216
Includes indexes
Description and Table of Contents
Description
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.
by "Nielsen BookData"