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

Докл. АН СССР, 1964, том 159, номер 1, страницы 17–20 (Mi dan30298)

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

МАТЕМАТИКА

Обратный метод установления выводимости в классическом исчислении предикатов

С. Ю. Маслов

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

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



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


© МИАН, 2024