Доклад:

Голованов Михаил Иванович — Примеры разрешимых логик неразрешимых относительно допустимости правил вывода.

Итоги НСК-2011 по секции «Алгебра, математическая логика и дискретная математика».