Рукопись (машинописная)

Рукопись (машинописная)

С.С. Лавров. D-аксиоматизация языка "Декарт" (опубликована в кн. Прикладная информатика, 1987, вып.1)

Дата: 
01.01.1986