МАТЕМАТИКА

Соответствие расширений доказуемостно-интуиционистской логики расширениям логики доказуемости

А. Ю. Муравицкий

Институт математики с ВЦ АН Молдавской ССР, г. Кишинев

УДК: 517.11:(51.01+519.48)

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

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

• 
•