| Abstract, 15.08.1969 of the paper by S. Maslov "An invertible sequential version of the constructive predicate caculus".
Review, 14.04.1965
Review, 05.05.1965
Review, 28.06.1965
Review, 10.03.1966
Review, 09.03.1973
Review, 05.01.1974
Abstract
Review, 12.03.1974
Letter, 03.09.1974
Proposals, 14.03.1975
Review, 10.09.1974
Review, 21.05.1971
Review, 05.06.1971
Råview, 24.12.1974
Review, 08.01.1975
Review, 07.04.1975
Review, 17.09.1975
Comments, 30.10.1975
Review, 29.04.1985
1
2
3
4
5
Initial order | In alphabetical order | By date |
