Сложность аппроксимируемости модальных и суперинтуиционистских логикдиссертация