RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1963
, том 148,
номер 4,
страницы
771–774
(Mi dan27540)
Эта публикация цитируется в
2
статьях
МАТЕМАТИКА
Интерпретация логических формул посредством финитных задач и связь ее с теорией реализуемости
Ю. Т. Медведев
Статья представлена к публикации:
А. Н. Колмогоров
Поступило: 25.07.1962
Полный текст:
PDF файл (615 kB)
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024