Основания математики. Математическая логика
Вовеки неразрешимое. Путь к Геделю через занимательные загадки, Раймонд Смаллиан
Страниц: 304
Год издания: 2013
Язык: Русский
Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математиче ...