Е80 Ершов, Юрий Леонидович. Математическая логика [Текст] : учебное пособие для вузов] / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. ; 20 см. - Указ. предм. и обозначений: с. 314-320. - 45000 экз.. - (В пер.) : 0.60 р. Рубрики: Математическая логика--Учебники и пособия Доп.точки доступа: Полютин, Е.А. ~Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |
Е 80 Ершов, Юрий Леонидович. Теория нумераций / Ю. Л. Ершов. - Москва : "Наука" Главная редакция восточной литературы, 1977. - 416 с. : ил. ; 21 см. - (Математическая логика и основания математики ). - 7900 экз.. - (в пер.) : 1.80 р. Рубрики: Элементарная математика (общие работы) ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
С 74 Справочная книга по математической логике [Текст] : в 4 частях : / под редакцией Дж. Барвайса. - Москва : Наука, 1982 - 1983. - 22 см. Ч. 1 : Теория моделей / перевод с английского С. С. Гончарова [и др.] ; под редакцией Ю. Л. Ершова [и др.]. - 1982. - 392 с. : ил. - 20000 экз.. - (в пер.) : 2.20 р. Рубрики: Математическая логика--Математика Доп.точки доступа: Барвайс, Дж. \ред., авт.\; Гончаров, Сергей Севостьянович \пер.\; Ершов, Юрий Леонидович \ред., авт. предисл.\ ~Экземпляры всего: 2 КХР (2) Свободны: КХР (2) |
С 74 Справочная книга по математической логике [Текст] : в 4-х частях / под редакцией Дж. Барвайса. - Москва : Наука, 1982 - 1983. - 22 см. Ч. 3 : Теория рекурсии / Г. Б. Эндертон, М. Девис, М. О. Рабин ; перевод с английского С. Г. Дворникова, И. А. Лаврова ; под редакцией Ю. Л. Ершова. - 1982. - 360 с. - 20000 экз.. - (в пер.) : 2.00 р. Рубрики: Математическая логика--Справочники Доп.точки доступа: Барвайс, Дж. \ред., авт.\; Эндертон, Герберт Б.; Девис, М.; Рабин, М. О.; Дворников, С. Г. \пер.\; Лавров, Игорь Андреевич \пер.\; Ершов, Юрий Леонидович \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Е 80 Ершов, Юрий Леонидович (1940-). Математическая логика [Text] : учебное пособие для студентов математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е издание, исправленное и дополненное. - Москва : Наука, 1987. - 336 с. ; 20 см. - 30000 экз.. - (в пер.) : 1.10 р. Рубрики: Математическая логика Кл.слова (ненормированные): ЭКВИВАЛЕНТНОСТЬ Дескрипторы: МАТЕМАТИЧЕСКАЯ ЛОГИКА, МАТЕМАТИКА Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов. Доп.точки доступа: Палютин, Евгений Андреевич ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |