Формализация традиционных математических теорий (арифметики, анализа и др.)

«Голос науки» — международная профессиональная социальная сеть для ученых, сосредоточие научных знаний и информации об ученых, от ученых для всех.