Mathematical intuitionism: introduction to proof theory/
Dragalin, Albert Grigorevich
Mathematical intuitionism: introduction to proof theory/ A. G. Dragalin. - Providence, R.I.: American Mathematical Society, c1988. - ix 228 p. ; 24 cm. - Translations of mathematical monographs, v. 67. .
Includes indexes.
Bibliography: p. 201-216.
0821845209 (alk. paper)
87032766 //r94
Intuitionistic mathematics.
511.3 / D759m
Mathematical intuitionism: introduction to proof theory/ A. G. Dragalin. - Providence, R.I.: American Mathematical Society, c1988. - ix 228 p. ; 24 cm. - Translations of mathematical monographs, v. 67. .
Includes indexes.
Bibliography: p. 201-216.
0821845209 (alk. paper)
87032766 //r94
Intuitionistic mathematics.
511.3 / D759m