Matematicheskiĭ intuit︠s︡ionizm - vvedenie v teorii︠u︡ dokazatelʹstv.
Series: Matematicheskai︠a︡ logika i osnovanii︠a︡ matematiki
Publisher: Nauka
Published: 1979
Place of publication: Moskva
Language: rus
Number of pages: 256