Documents associated with Stephen C. Kleene

Letter, A.P. Ershov->G. K. Skryabin, 19.04.1979
asks to consider a possibility to invite some foreign scientists as the guests of USSR AS; attachments: background, characteristics, reception program
Letter, S. C. Kleene ->A.P. Ershov, 28.09.1981
Notification of receiving permission for publication of the paper published in the "Annals of the History of Computing"; a copy of the paper is enclosed
Letter, S. C. Kleene ->A.P. Ershov, 31.12.1981
with corrections to the author's paper "Origins of Recursive Function Theory".
Letter, S. C. Kleene ->A.P. Ershov, 05.11.1981
requesting to make the specified changes to the text of the author's article
Letter, A.P. Ershov->S. C. Kleene, 15.02.1982
is sorry for not being accurate in responding his letters and informs on publishing the Russian edition of the volume at the end of the year
Telegram and its translation, A.P. Ershov->S. C. Kleene, 07.09.1979
on getting visa
Telegram and its translation, A.P. Ershov->S. C. Kleene, 06.09.1979
regrets at the problem with his wife's visa and informs about attempts to solve it
Telegram, A.P. Ershov->V. V. Davydov, 06.09.1979
asks to clarify the situation with the visa for S. Kleene's wife
Telegram, A.P. Ershov->V. V. Davydov, 30.08.1979
about arrival of the foreign guests
Letter (handwritten), A.P. Ershov->S. C. Kleene, 22.07.1981
Reminds of his request concerning expanded version of the paper; asks permission to publish it in the Russian-language collection
Letter, S. C. Kleene ->A.P. Ershov, 17.08.1981
in reply to the letter of July 23, 1979 - will be happy to rhave the Russian translation of his paper "Origins of Recursive Function Theory"; sends "Annals of the History of Computing", January 1981 with his article in it, and a repront of same paper.
Formal invitation to be a guest of the USSR AS, 12.07.1979
draft for the English copy
Letter, S. C. Kleene ->A.P. Ershov, 15.06.1979
would very much like to be invited as a guest of Academy of Sciences
Letter (hand-written), Yu. V. Matiyasevich ->A.P. Ershov, 28.05.1979
discusses the program of the symposium and the list of potential participants

1 2 3
Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016