К вопросу обоснования логических системтезисы доклада