Записка

Записка

Г.С. Цейтина, касающаяся обсуждения доказательности программирования.

Дата: 
09.09.1982