id: 00192927
dt: b
an: 00192927
au: Dragalin, A.G.
ti: Mathematical intuitionism. Introduction to proof theory. Transl. from the
    Russian by E. Mendelson, ed. by Ben Silver.
so: Translations of Mathematical Monographs, 67. Providence, RI: American
    Mathematical Society (AMS). IX, 228 p.; {\$} 75.00 (1988).
py: 1988
pu: Providence, RI: American Mathematical Society
la: EN
cc: 
ut: Heyting algebra; proof theory; intuitionistic logic; purely syntactical
    methods; cut-elimination theorem; intuitionistic arithmetic;
    realizability; algebraic models; completeness theorems; intuitionistic
    analysis; intuitionistic simple theory of types
ci: Zbl 0439.03041
li: 
ab: [For a review of the Russian original (Moskva, 1979) see Zbl 0439.03041.]
    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
    consists of five parts and two appendices. The first part is devoted to
    purely syntactical methods based on Gentzen’s cut-elimination
    theorem. The second part deals with intuitionistic arithmetic, where
    Kleene’s realizability method plays a central role. The third part is
    concerned with algebraic models and completeness theorems for them. The
    fourth part, which is a survey in nature, deals with the principles of
    intuitionistic analysis. The fifth part is concerned with the
    cut-elimination theorem in intuitionistic simple theory of types with
    an extensionality rule.
rv: H.Nishimura