of the paper "Abstract computability in functional systems" submitted to the V All-Union conference on the problems of theoretical cybernetics

of the paper "Abstract computability in functional systems" submitted to the V All-Union conference on the problems of theoretical cybernetics

"25 years of informatics at the SBAS Computing Center" for the collection dedicated to the 25th anniversary of the SBAS. Not published

"On Futamura projections"

"Klaus Samelson" (obituary)

"25 years of informatics at the SBAS Computing Center" for the collection dedicated to the 25th anniversary of the SBAS

"On Futamura projections". Written in Tokyo for "BIT" journal

to the Collected works "Applied methods of informatics"

a typed copy of the paper "Mixed Computation: Potential Applications and Problems for Study" in English

Yu.I. Manin "Provable and Unprovable"

Yu.I. Manin "Provable and Unprovable"

to the paper "Methodology of programming" by Tursky

to the paper "Methodology of programming" by Tursky (handwritten copy)

to "The Methods of Programming" by B.Meyer, K.Boduen (handwritten)

to "The Methods of Programming" by B.Meyer, K.Boduen