RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ЛОМИ, 1969, том 16, страницы 28–43 (Mi znsl2334)
Сети меток и выводимость в интуиционистском исчислении высказываний

Я. Я. Голота




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

© МИАН, 2024