МАТЕМАТИКА

Конструктивная истинность и конструктивные исчисления

А. А. Воронков

Институт математики СО АН СССР, г. Новосибирск

УДК: 510.25+510.67

Статья представлена к публикации: А. А. Дородницын
Поступило: 25.06.1986

 Англоязычная версия: Doklady Mathematics, 1988, 37:2, 313–316

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

• 
•