Философские вопросы логической формализации и логических средств кибернетики: автореферат диссертации на соискание ученой степени доктора философских наук