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

Альберт Драгалин - Математический интуиционизм. Введение в теорию доказательств
18+
User AvatarВаша оценка
0
(0)

Математический интуиционизм. Введение в теорию доказательств