Alʹbert Grigorʹevich Dragalin

• Konstruktivnai︠a︡ teorii︠a︡ dokazatelʹstv i nestandartnyĭ analiz
• Mathematical intuitionism
• Elementy matematicheskoĭ logiki
• Matematicheskiĭ intuit͡s︡ionizm
• Vvedenie v matematicheskui︠u︡ logiku