Metodologičeskije problemy intuicionistskoj matematiky - Panov, Michail Ivanovič (Nauka, 1984)