Abstract computability in algebraic systems, 28.04.1982 typed copy of the paper
Algorithm in modern mathematics and computer science, 27.01.1982(?)typed copy of the paper
Algorithm in modern mathematics and computer science, 27.01.1982translation into Russian by G. S. Tseytin
Algorithms in various contexts, 19.06.1982(?)typed copy of the paper
Algorithms in various contexts, 19.06.1982translation into Russian by G. V. Sheina
Algorithms and algebra, 22.11.1980translation into Russian by A. P. Ershov
Church-Rosser transformers and decidable properties of tree processing, 07.12.1979typed copy of the paper
Contents, 22.10.1981a draft copy of "Contents" for the English edition with hand-written remarks by A. P. Ershov
Contents (hand-written), 26.11.1982"Contents" for the Russian edition
Dixit Algorizmi. His Background, his Personality, his Work, and his Influence., 01.04.1980preprint in English
Dixit Algorizmi. His Background, his Personality, his Work, and his Influence, 19.11.1981camera-ready copy of the paper
Dixit Algorizmi. His Background, his Personality, his Work, and his Influence, 26.11.1982hand-written translation into Russian made by A. P. Ershov (started on 20.11.81)
Expanding constructive universes, 11.01.1980typed copy of the paper
Foreword, 27.04.1982Foreword to the English edition of Proceedings
Foreword (hand-written), 13.11.1982translation into Russian by A. P. Ershov
Foreword to the English edition, 16.06.1981preliminary version
From logicism to proceduralism, 23.10.1980typed copy of the paper
Hand-written notes, 27.04.1982chronology of pre-publishing work with Contents
Hand-written notes, 26.11.1982(?)how to work with Contents of the Russian edition
Hand-written notes, 27.04.1982(?)chronology of pre-publishing work with Foreword
1
2
3
4
Initial order | In alphabetical order | By date |