Mathematical intuitionism
Subtitle: introduction to proof theory
By: A.G. Dragalin.
Series: Translations of mathematical monographs,; v. 67
Publisher: American Mathematical Society
Published: 1988
Place of publication: Providence, R.I
Language: eng; rus
Number of pages: 228
Subjects: Intuitionistic mathematics.
Notes: Bibliography: p. 201-216.
Translation of: Matematicheskiĭ intuit͡s︡ionizm.
Includes indexes.