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

Докл. АН СССР, 1966, том 169, номер 1, страницы 20–23 (Mi dan32386)

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

МАТЕМАТИКА

Об интерпретации логических формул посредством финитных задач

Ю. Т. Медведев

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

УДК: 517.12

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



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


© МИАН, 2024