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

Докл. АН СССР, 1971, том 201, номер 4, страницы 794–797 (Mi dan36509)

МАТЕМАТИКА

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

М. Ф. Раца

Институт математики с вычислительным центром АН Молдавской ССР

УДК: 517.11: (51.01+519.95)

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



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


© МИАН, 2024