Cover, 31.05.1985-09.08.1985
Covering letter, S. Akama->A.P. Ershov, 22.05.1985
Article, 22.05.1985"Logic programming as constructive logic with strong negation".
Letter, A.P. Ershov->S. Akama, 08.08.1985
Letter, A.P. Ershov->N. N. Nepeivoda, 09.08.1985
Review, N. N. Nepeivoda ->A.P. Ershov, 29.08.1985
Letter with attachment, A.P. Ershov->S. Akama, 05.09.1985
Initial order | In alphabetical order | By date |