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

Ижевск

194 стр.

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