Title: Matematicheskiĭ intuit︠s︡ionizm : Vved. v. teorii︠u︡ dokazatelʹstv /
Authors: Dragalin, Alʹbert Grigorʹevich.
Publisher: Nauka,
Year: 1979
Subjects: Logic, Symbolic and mathematical.