Эта публикация цитируется в 2 статьях

МАТЕМАТИКА

Теорема отделимости для суперинтуиционистских исчислений высказываний

В. И. Хомич

Вычислительный центр АН СССР, г. Москва

УДК: 517.11

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

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

• 
•