RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические труды // Архив
Тр. Ин-та математики, 1988, том 8, страницы 25–42 (Mi mt559)
Теория моделей, основанная на конструктивном понимании истинности

А. А. Воронков




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

© МИАН, 2024