МАТЕМАТИКА

Допустимость правил вывода с параметрами в интуиционистской логике и интуиционистские модели Крипке

В. В. Рыбаков

Красноярский государственный университет

УДК: 517.11+519.48

Статья представлена к публикации: М. М. Лаврентьев
Поступило: 15.02.1989

 Англоязычная версия: Doklady Mathematics, 1990, 41:3, 421–424

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

• 
•