> > . .1
<<
>>
<< >>

, . . . .-. (18811966), . . . . . , , , . , , . . . , . , . , 1930 . . . . . . . , . . , ( A) , ˻ , () , (x). . . ; . . , , . , -, . . . , , .

. , . , . . , :

. . . - ( ). , , , - . . , , . . . , . . . , . , - .

. , , , . . , . . . , . . , . , . , . . . . - , (. . ) , . . . , , . (. ). , , . . .

.: . . . . . ., 1973 [. . 451465]; . . . . . ., 1965 [. . 152160, 194195]; Kleene S. ., Vesley R.E. The foundations of intuitionistic mathematics especially in relation to recursive functions. Amsterdam, 1965; a E., c P. . . . ., 1972 [. . 568578]. . . .

<< >>