Metodologičeskie problemy intuicionistskoj matematiki - Panov, Mihail Ivanovič (Nauka, 1984)