Вопросы обоснования логических систем: теоретико-познавательные идеи Фрегедипломная работа (Специалист)