RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив
Тр. МИАН СССР, 1958, том 52, страницы 193–225 (Mi tm1318)
Новый алгорифм выводимости в конструктивном исчислении высказываний

Н. Н. Воробьев




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

© МИАН, 2024