| Найдено документов - 1 | Источник: Справочная книга по математической логике : в 4 ч. / пер. с англ. С.С. Гончарова [и др.] ; под ред. [и с предисл.] Ю.Л. Ершова [и др.] ; под ред. Дж. Барвайса. - М. : Наука, 1982 -. - 22 см. - ... | Версия для печати |
Сортировать по:
1. Многотомник
Справочная книга по математической логике : в 4 ч. / пер. с англ. С.С. Гончарова [и др.] ; под ред. [и с предисл.] Ю.Л. Ершова [и др.] ; под ред. Дж. Барвайса. - М. : Наука, 1982 -. - 22 см. - Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977).
Ч. 1 : Теория моделей / Д. Барвайс, Х.Д. Кейслер, П. Эклоф [и др.]. - 1982. - 392 c. - Библиогр. в конце гл. - Предм. указ.: с. 388-391. - Содерж.: В кн. также: Спектр и структура моделей полных теорий / Е.А. Палютин. - 20000 экз.
Ч. 2 : Теория множеств / Д.Р. Шенфилд, Т.Д. Йех, К. Кюнен [и др.] ; пер. В.Г. Кановея ; под ред. В.Н. Гришина. - 1982. - 375 c. - Библиогр. в конце гл. - Указ. имен: с. 365-370, 372-374. - Содерж.: В кн. также: Проективная иерархия Н.Н. Лузина : современное состояние теории / В.Г. Кановей. - 20000 экз.
Ч. 3 : Теория рекурсии / Г.Б. Эндертон, М. Девис, М.О. Рабин [и др.] ; пер. C.Г. Дворникова, И.А. Лаврова ; под ред. Ю.Л. Ершова. - 1982. - 360 с. - Библиогр. в конце гл. - Предм. указ.: с. 354-359. - Содерж.: В кн. также: Алгоритмические проблемы в теории полей: положительные аспекты / Ю.Л. Ершов. - 20000 экз.
Ч. 4 : Теория доказательств и конструктивная математика / К. Сморинский, Г. Швихтенберг, Р. Стетмен [и др.] ; пер. Г.В. Давыдова, Г.Е. Минца ; под ред. В.П. Оревкова. - 1983. - 391 с. - Библиогр. в конце гл. - Предм. указ.: с. 383-388. - 20000 экз.
Ч. 1 : Теория моделей / Д. Барвайс, Х.Д. Кейслер, П. Эклоф [и др.]. - 1982. - 392 c. - Библиогр. в конце гл. - Предм. указ.: с. 388-391. - Содерж.: В кн. также: Спектр и структура моделей полных теорий / Е.А. Палютин. - 20000 экз.
Ч. 2 : Теория множеств / Д.Р. Шенфилд, Т.Д. Йех, К. Кюнен [и др.] ; пер. В.Г. Кановея ; под ред. В.Н. Гришина. - 1982. - 375 c. - Библиогр. в конце гл. - Указ. имен: с. 365-370, 372-374. - Содерж.: В кн. также: Проективная иерархия Н.Н. Лузина : современное состояние теории / В.Г. Кановей. - 20000 экз.
Ч. 3 : Теория рекурсии / Г.Б. Эндертон, М. Девис, М.О. Рабин [и др.] ; пер. C.Г. Дворникова, И.А. Лаврова ; под ред. Ю.Л. Ершова. - 1982. - 360 с. - Библиогр. в конце гл. - Предм. указ.: с. 354-359. - Содерж.: В кн. также: Алгоритмические проблемы в теории полей: положительные аспекты / Ю.Л. Ершов. - 20000 экз.
Ч. 4 : Теория доказательств и конструктивная математика / К. Сморинский, Г. Швихтенберг, Р. Стетмен [и др.] ; пер. Г.В. Давыдова, Г.Е. Минца ; под ред. В.П. Оревкова. - 1983. - 391 с. - Библиогр. в конце гл. - Предм. указ.: с. 383-388. - 20000 экз.