Vol. 67. Dragalin, Albert Grigorevich
Mathematical intuitionism : Introduction to prof theory
QA9 D7313