RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1990, том 314, номер 1, страницы 32–36 (Mi dan6442)

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

МАТЕМАТИКА

К вопросу об аксиоматизации реализуемых пропозициональных формул

Ф. Л. Варпаховский

Московский государственный заочный педагогический институт

УДК: 517.12

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


 Англоязычная версия: Doklady Mathematics, 1991, 42:2, 260–264

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


© МИАН, 2024