Эта публикация цитируется в 3 статьях

МАТЕМАТИКА

О языках с конструктивными логическими связками

В. Е. Плиско

Московский государственный университет имени М. В. Ломоносова

УДК: 517.12

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 17.03.1986

 Англоязычная версия: Doklady Mathematics, 1988, 36:2, 236–239

Реферативные базы данных:

• 
•