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

Докл. АН СССР, 1983, том 270, номер 3, страницы 537–541 (Mi dan46090)

МАТЕМАТИКА

Непротиворечивость системы $\mathcal{N}F$ Куайна

А. С. Кузичев

Московский государственный университет имени М. В. Ломоносова

УДК: 517.12

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 12.10.1982



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


© МИАН, 2024