Opening book details…
Can I read Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs) (English and Russian Edition) on EtoBox?
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs) (English and Russian Edition) by Alʹbert Grigorʹevich Dragalin is a book available to read on EtoBox.
What is Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs) (English and Russian Edition) about?
This monograph is intended to present the most important methods of proof theory in intuitionistic logic, assuming the reader to have mastered an introductory course in mathematical logic. The book starts with purely syntactical methods based on Gentzen's cut-elimination theorem, followed by intuitionistic arithmetic where Kleene's realizability method plays a central role. The author then studies algebraic models and completeness theorems for them. After giving a survey on the principles of intuitionistic analysis, the last part of the book presents the cut-elimination theorem in intuitionistic simple theory of types with an extensionality rule.
- Author
- Alʹbert Grigorʹevich Dragalin
- Publisher
- Providence, R.I.: American Mathematical Society
- Published
- 1988
- Language
- EN
- ISBN
- 9780821845202
- Subjects
- Mathematics, Stem
More by Alʹbert Grigorʹevich Dragalin
Browse all works by Alʹbert Grigorʹevich Dragalin
Similar books
- Index Theorem. 1 (Translations of Mathematical Monographs) (Translations of Mathematical Monographs) — Ono, Kaoru; Furuta, M (2007)
- Buffalo, 1968.] Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill, R.E. Vesley — A. Kino, J. Myhill and R.E. Vesley (1970)
- Truth, Proof and Infinity : a Theory of Constructions and Constructive Reasoning — Fletcher P.; Davidson, Donald; Hintikka, Jaakko (1998)
- Proof Theory And Logical Complexity : Volume I (studies In Proof Theory) — Jean-Yves Girard (1990)
- Introduction to Algebraic Curves (Translations of Mathematical Monographs) — Phillip A. Griffiths (1989)
- An Introduction to Morse Theory (Translations of Mathematical Monographs, Vol. 208) (Translations of Mathematical Monographs) — Yukio Matsumoto (2001)