МАТЕМАТИКА

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

В. В. Рыбаков

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

УДК: 517.11+519.48

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

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

• 
•