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

Москва

107 стр.

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