Невозможность конечной аксиоматизации логики финитных задач Медведевастатья

Статья опубликована в журнале из списка RSCI Web of Science

Информация о цитировании статьи получена из Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 26 декабря 2017 г.

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст 1979_Maksimova_Skvortsov_Shehtman_DAN_Logic_Medvedev.pdf 652,9 КБ 4 ноября 2019 [ezolin]