Yu.I. Manin "Provable and Unprovable"

Yu.I. Manin "Provable and Unprovable"

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

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

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

to the paper "Methodology of programming" by Tursky

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

"Klaus Samelson" (obituary)

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

"On Futamura projections"

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

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

to the Collected works "Applied methods of informatics"

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