Алгоритмическая проблема финитарного семантического следования для
Опубликовал: Admin, дата: вс, 2006-11-26 02:16
Автор: Чагров А.В.
ИЛКиРЛ | Логика | Чагров А.В.
Автор: Чагров А.В.
А. В. Чагров
Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера
по-русски