Полнота и аксиоматизируемость неклассическихлогик с дополнительными логическими связками

Ижевск

38 стр.

Полнота и аксиоматизируемость неклассическихлогик с дополнительными логическими связками — Яшин, Александр Данилович — 2000 — Российская библиотека диссертаций