Результаты поиска

Вовеки неразрешимо: головоломное руководство по Геделю / Реймонд Смаллиан. - Москва : Лори, 2018. - 311 с.

Математическая логика / Р. Л. Гудстейн. - Изд. 2-е. - Москва : URSS, Либроком, 2010. - 161 с. - (Физико-математическое наследие: математика (основания математики и логики)

Проблема неполноты математической теории и онтологические предпосылки ее решения / Л. Г. Антипенко. - Москва : URSS, Ленанд, 2022. - 149 с.

Вовеки неразрешимое: путь к Геделю через занимательные загадки / Раймонд Смаллиан. - Москва : Канон+, 2013. - 302 с. - (Библиотека аналитической философии)

О Гёделе / Яакко Хинтикка. Статьи / Курт Гёдель. - Москва : Канон+, 2015. - 254 с. - (Библиотека аналитической философии)

Алгоритмический ум: ментализм vs механизм в философии математики / В. В. Целищев. - Москва : Канон-плюс, Независимый альянс, 2023. - 511 с. - (Библиотека аналитической философии)