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

Докл. АН СССР, 1963, том 152, номер 3, страницы 553–554 (Mi dan28590)

МАТЕМАТИКА

Обобщение теорем В. И. Гливенко и Г. Крейсела на один класс формул исчисления предикатов

Г. Е. Минц, В. П. Оревков

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

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



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


© МИАН, 2024