Вернуться к Подробностям о статье
Алгоритмическая проблема финитарного семантического следования пропозициональных формул I: контекст и постановка задачи
Скачать
Скачать PDF