RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1986
, том 290,
номер 6,
страницы
1289–1292
(Mi dan8400)
Эта публикация цитируется в
1
статье
МАТЕМАТИКА
Нумерически корректные логики доказуемости
С. Н. Артемов
Математический институт им. В. А. Стеклова АН СССР, г. Москва
УДК:
510.65
Статья представлена к публикации:
А. Н. Колмогоров
Поступило: 22.01.1986
Полный текст:
PDF файл (623 kB)
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024