О сложности суперинтуиционистских логиктезисы доклада