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

Докл. АН СССР, 1979, том 249, номер 3, страницы 540–544 (Mi dan43159)

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

МАТЕМАТИКА

Критерий функциональной полноты в классической логике предикатов первого порядка

А. В. Кузнецов, М. Ф. Раца

Институт математики с ВЦ АН Молдавской ССР, г. Кишинев

УДК: 517.11:(51.01+519.95)

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



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


© МИАН, 2024