Hilbert II - QEDEQ 0.04.02
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 4.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О Hilbert II - QEDEQ
В традиции программы Гильберта мы создаем формальную правильную (проверяемую проверяемым проверятелем), но читаемую (например, обычный учебник LaTeX) математическую базу знаний, которая свободно доступна в интернете. Началась логика и теория ставить.