Документів:2060
Нові надходження
Вопросы из арифметики, изданные Департаментом народнаго просвещения
Ценность науки
Циркуляр по Киевскому учебному округу.
Записки методике арифметики
Учебник геометрии для середних шкіл. Низший степень
Новое сочинение Архимеда
Краткое введение в теорию эллиптических функций
Теория потенциала и гидродинамика.
Энциклопедия элементарной математики.
Сборник алгебраических задач, предлагавшихся на испытаниях зрелости для учеников старших классов гимназий и экстернов
Происхождение и история наших цифр
Учебник геометрії для середніх шкіл
Задачник до систематичного курсу аритметики.
Язык классической математики, как идеал языка программирования
Теория и практика искусственного интеллекта в автоматическом доказательстве теорем
Создание единого стереотипа логической конструкции мышления для содержательного и формального доказательства теорем
Парадоксы науки XX-го века. XXI-й век – диалектическая логика против мистики
Живая материя в образе формальных моделей
