Нагель математическая логика

  • Э. Нагель, Дж. Р. Ньюмен. Теорема Гёделя. – Красанд, 2010 г. -121 с.(Науку – всем! Шедевры научно-популярной литературы)
    Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты.