Логотип LiveLibbetaК основной версии

Это бета-версия LiveLib. Сейчас доступна часть функций, остальные из основной версии будут добавляться постепенно.

Издания книги

Основания математики. Теория доказательств

Давид Гильберт, Пауль Исаак Бернайс