|
|||||||||||
Documents associated with Stephen C. Kleene Photograph, 15.09.1979 Urgench; reception; S.Kleene with wife
Summaryof the "Introduction to Mathematics" by S. Kleene
Working Notes, 22.09.1979Photograph, 16.09.1979 Khiva, summer hall; Ershov (left), Kleene, vanWijngaarden and Zemanek
Photograph, 16.09.1979-22.09.1979Khiva, summer hall; from left to right - S.Kleene, G.Zemanek, dancers, M.Zemanek
Telegram and its translation, A.P. Ershov->S. C. Kleene, 03.09.1979believes all is OK with the matter raised in his last letter
Photograph, 16.09.1979-22.09.1979Khiva, reception. Left - Knuth and Kleene
Report, 10.01.1980(?)"International Symposium on Algorithms in Modern Mathematics and Computer Science" - a report for "Bulletin of the European Association for Theoretical Computer Science (EATCS)", 1980, No. 10
Working Notes, 06.12.1980-22.12.1980Letter, A.P. Ershov->S. C. Kleene, 01.02.1980(?) sharing his thoughts on abstract computability
Paper abstracts, 21.09.1979of the talks scheduled for September 21
Letter, A.P. Ershov->S. C. Kleene, 07.02.1980with thanks for getting the text so promptly; short scientific remarks
Letter, J. Hartmanis->A.P. Ershov, 22.02.1980confirming "Springer-Verlag" interest in publishing the Proceedings
Photograph, 21.09.1979Urgench; reception at the UzSSR AS; D.Knuth and Kleenes
Photograph, 21.09.1979Urgench; reception at the UzSSR AS; S.Kleene and Yu. Kapitonova
Letter, S. C. Kleene ->A.P. Ershov, 18.04.1980Information about the paper preparation process; notification of having submitted a historical review to the 20-th issue of the "Symposium on Foundations of Computer Science"; a promise to send the copy
Photograph, 16.09.1979-22.09.1979Urgench, Oblsovet building; Kleenes
Photograph, 16.09.1979-22.09.1979Tashkent; V.Uspenskiy and Kleenes
Telegram, A.P. Ershov->V. V. Davydov, 07.09.1979about practical problems
Telegram, A.P. Ershov->V. V. Davydov, 13.09.1979request for sending telegrams with information on guests of AS to Tashkent
1 2 3 Initial order | In alphabetical order | By date Back |
||
Switch to Russian | Search | Advanced search | Folders | Themes |
|