Лекция 3. А.В. Кудинов. Сложность неклассических логик.