22.122 Ф 866 Фреденталь Х. Язык логики / Фреденталь Ханс; перевод с английского Ю. А. Петров; под редакцией Ю. А. Гастева. - Москва: Наука, 1969. - 136 с. [подробнее]
22.122 М 482 Мельников Г. П. Азбука математической логики / Мельников Геннадий Прокопьевич. - Москва: Знание, 1967. - 104 с. - (Народный университет. Естественнонаучный факультет; Вып.7). [подробнее]
22.122 Л 59 Линдон Р. Заметки по логике / Линдон Роджер; перевод с английского Ю. А. Гастева; под редакцией И. М. Яглома. - Москва: Мир, 1968. - 128 с. - (Современная математика). - Лит.: с. 123. - Имен. указ.: с. 124. - Указ. терм.: с. 124. [подробнее]
Паршин А. Н. Размышления над теоремой Геделя / Паршин А. Н. // Вопросы философии. - 2000. - № 6. - С. 92 - 109. - Библиогр. в конце статьи. [подробнее]
22.12я44 Д 721 Драгалин А. Г. Конструктивная теория доказательств и нестандартный анализ / Драгалин Альберт Григорьевич; ответственный редактор Г. Е. Минц; биографическая статья С. Н. Артемова, Б. А. Кушнер, Е. Ю. Ногина [и др.]. - Москва: УРСС, 2003. - 544 с. - Имен. указ.: с. 526. - Предм. указ.: с. 530. - ISBN 5-354-00387-3. [подробнее]
22.126 Ф 871 Френкель А. Основания теории множеств / Френкель Абрахам, Бар-Хиллел Иегоша; перевод с английского Ю. А. Гастева; под редакцией А. С. Есенина-Вольпина. - Москва: Мир, 1966. - 556 с. - Библиогр.: с. 419-537. [подробнее]
22.122 У 774 Успенский В. А. Теорема Геделя о неполноте / Успенский Владимир Андреевич. - Москва: Наука, 1982. - 112 с. - (Популярные лекции по математике; Вып.57). [подробнее]