Metodologičeskij analiz osnovanij matematiki - Panov, Mihail Ivanovič (Nauka, 1988)