Return to Article Details
Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера.
Download
Download PDF