Dokazujemoje i nedokazujemoje - Manin, Jurij Ivanovič, 1937- (Moskva : Sovetskoje radio, 1979)