Вернуться к Подробностям о статье
Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера.
Скачать
Скачать PDF