Нагель Ернест, Ньюмен Джеймс Рой. Теорема Геделя: Пер. з англ. Вид. 2-ге, испр. - М.: КРАСАНД, 2010. - 120 с. (НАУКУ — ВСІМ! Шедеври науково-популярної літератури.) До уваги читача пропонується книга відомого американського логіка Е. Нагеля та досвідченого популяризатора науки Дж. Р. Ньюмена, присвячена теоремі Геделя про неповноту. Ця теорема була викладена у невеликій статті К. Геделя, яка згодом відіграла вирішальну роль в історії логіки та математики. Автори цієї книги, не намагаючись дати загальний нарис ідей і методів математичної логіки, будують виклад навколо центральних, з їхньої точки зору, проблем цієї науки — проблем несуперечності та повноти. Доказ того факту, що для досить багатих математичних теорій вимоги ці несумісні, і є разюче відкриття Геделя, якому присвячена книга. Не вимагаючи від читача по суті жодних попередніх знань, автори з успіхом пояснюють йому сутність однієї з найчудовіших і найглибших теорем математики та логіки. Для фахівців з математичної логіки, студентів та аспірантів, а також усіх зацікавлених читачів.