Od logicizmu k proceduralizmu (autobiografické zamyslenie) Grigorij S Cejtin — 1984 Pokroky matematiky, fyziky a astronomie