МАТЕМАТИКА

Суперинтуиционистские логики, имеющие доказуемостную интерпретацию

С. Н. Артемов

Математический институт им. В. А. Стеклова АН СССР, г. Москва

УДК: 510.65

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

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

• 
•