Dragalin, Albert Grigorevich.

Mathematical intuitionism : introduction to proof theory - Providence, R.I. : American Mathematical Society, c1988. - 1 online resource (ix 228 p.) - Translations of Mathematical Monographs, v. 67 2472-5137 ; .

Translation of: Matematicheskii intuitsionizm.;Includes indexes.

Bibliography: p. 201-216.

9781470444815 (online)


Intuitionistic mathematics.