RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив
Тр. МИАН СССР, 1964, том 72, страницы 195–227 (Mi tm1612)
Конструктивная математическая логика

Конструктивное исчисление высказываний с сильным отрицанием

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




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

© МИАН, 2024