|
Documents associated with Yuri V. Matijasevich
Letter, A.P. Ershov->Yu. I. Manin, 04.01.1981sharing Ershov's thoughts at the sight of the addressee's book
Articleby Yu.V. Matiyasevich "Real Numbers and Computers"
Letter (hand-written), Yu. I. Manin->A.P. Ershov, 30.09.1980
Letter, A.P. Ershov->A. O. Slisenko, 22.01.1982
Working notes, 19.11.1984taken during the Conference sessions
Letter (handwritten), Yu. V. Matiyasevich ->A.P. Ershov, 04.01.1980informing of the progress on paper preparation
Letter, Yu. V. Matiyasevich ->A.P. Ershov, 17.10.1985
Review, 10.10.1985
Letter (hand-written), A.P. Ershov->Yu. V. Matiyasevich, 08.05.1979apologies for delay with information about the symposium and attaches formal announcement and invitation
Item 7. (Name does not exist in this language.)
Item 8. (Name does not exist in this language.)
Letter, Yu. V. Matiyasevich ->A.P. Ershov, 14.03.1988-15.03.1988asking to review the manuscript by the author's graduate student for the purpose of publishing it in "Programmirovanie" journal
Item 15. (Name does not exist in this language.)
Item 25. (Name does not exist in this language.)
Item 26. (Name does not exist in this language.)
Item 31. (Name does not exist in this language.)
What should we do having proved a decision problem to be unsolvable?, 09.01.1980typed copy of the paper
Telegram, A.P. Ershov->Yu. V. Matiyasevich, 25.05.1981Request for the home address for processing the Symposium files
Telegram, Yu. V. Matiyasevich ->A.P. Ershov, 28.05.1981The requested home address
Item 55. (Name does not exist in this language.)
1
2
Initial order | In alphabetical order | By date
Back
|
|