Основания доказательности в классической и вычислительной математикедипломная работа (Специалист)