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

Докл. АН СССР, 1975, том 220, номер 1, страницы 41–43 (Mi dan38766)

МАТЕМАТИКА

Язык $\Delta$ с интуиционистскими связками

Н. Н. Непейвода

Удмуртский государственный университет, г. Ижевск

УДК: 517.12:519.51

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



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


© МИАН, 2024