RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1966
, том 169,
номер 1,
страницы
20–23
(Mi dan32386)
Эта публикация цитируется в
3
статьях
МАТЕМАТИКА
Об интерпретации логических формул посредством финитных задач
Ю. Т. Медведев
Математический институт им. В. А. Стеклова АН СССР
УДК:
517.12
Статья представлена к публикации:
П. С. Новиков
Поступило: 14.10.1965
Полный текст:
PDF файл (670 kB)
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024