Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

К старой версии страницы

Издания и произведения

Философия математики. Основные программы обоснования математики ХХ столетия

Виктор Светлов