О внутренней интеграции курса современной логикитезисы доклада