Мартин-Лёф П.
Очерки по конструктивной математике / П. Мартин-Лёф ; перевод с английского Минца Г.Е.; под ред. Драгалина А.Г. - М. : Мир , 1975. - 136 с. : ил. - (Библиотека сборника "Математика"). - Библиогр.: с 128-131.

Шифры: 517 - М 292

Экземпляры: Всего: 6, из них: к/х7-3, чзнл-2, чзуч-1

Иванов Л.Д.
Вариации множеств и функций / Л.Д. Иванов ; под ред. А.Г.Витушкина. - М. : Наука, 1975. - 352 с. : ил. - Библиогр.: с.349-352 (108 назв.).

Шифры: 519 - И 204

Экземпляры: Всего: 5, из них: к/х7-3, чзнл-2

Новиков П.С. (1901-1975).
Элементы математической логики / П.С. Новиков. - 2-е изд.,исправл. - Москва : Наука, 1973. - 399 с. - (Математическая логика и основания математики).

Шифры: 517 - Н 731

Аннотация: В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.

Экземпляры: Всего: 52, из них: абмл-40, абнл-1, абст-1, к/х7-3, чзнл-1, чзуч-5, ЭБС-1

Йех Т.
Теория множеств и метод форсинга / Т. Йех ; перевод с английского В.И. Фуксона, под ред. В.Н. Гришина. - М. : Мир, 1973. - 148 с. - Библиогр.:с.132-135(60 назв.).

Шифры: 519 - И 309

Экземпляры: Всего: 10, из них: абнл-2, к/х7-3, МАТИ-АТ-3, чзнл-1, чзуч-1

Клини С.К.
Математическая логика / С.К. Клини ; перевод с английского Гастева Ю.А., под ред. Минца Г.Е. - М. : Мир, 1973. - 480 с. - Библиогр.: с.451-465.

Шифры: 517 - К 493

Экземпляры: Всего: 33, из них: абмл-28, к/х7-1, МАТИ-АТ-2, чзнл-1, чзуч-1

Машины Тьюринга и рекурсивные функции / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман, Г. Хермес ; перевод с немецкого Белаги Э.Г. - М. : Мир, 1972. - 264 с. : ил. - (Современная математика). - Библиогр. в конце разделов.

Шифры: 517 - М 382

Экземпляры: Всего: 6, из них: абнл-1, к/х7-1, чзнл-3, чзуч-1

Шрейдер Ю.А.
Равенство, сходство, порядок / Ю.А. Шрейдер. - М. : Наука, 1971. - 254 с. : ил.

Шифры: 51 - Ш 861

Экземпляры: Всего: 3, из них: к/х7-2, чзуч-1

Мендельсон Э. (1931-2020).
Введение в математическую логику / Э. Мендельсон ; перевод с английского Кабакова Ф.А.; под ред. Адяна С.И. - Москва : Наука, 1971. - 320 с. : ил. - Библиогр.:с 296-309.

Шифры: 51 - М 501

Аннотация: В книге сравнительно небольшого объема освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предикатов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.

Экземпляры: Всего: 50, из них: абмл-44, абст-2, к/х7-2, чзуч-2

Новиков П.С. (1901-1975).
Элементы математической логики / П.С. Новиков. - Москва : Физматгиз, 1959. - 400 с. - (Математическая логика и основания математики).

Шифры: 51 - Н 731

Аннотация: В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.

Экземпляры: Всего: 3, из них: к/х7-3