Электронный каталог: Артамонов Михаил Александрович - Формальная логика (исчисление суждений)