| Найдено документов - 3 | Найти похожие: "Индекс ББК" = '22.12я2' | Версия для печати |
Сортировать по:
1. Книга
Корн, Гранино.
Справочник по математике для научных работников и инженеров : определения, теоремы, формулы / Г. Корн, Т.М. Корн ; пер. со 2-го амер. перераб. изд. И. Г. Арамановича и др. ; под общ. ред. И. Г. Арамановича. - 5-е изд. - М. : Наука, 1984. - 831 с. : ил. ; 22 см. - Библиогр.: с. 796-831. - 120000 экз. - Текст (визуальный) : непосредственный.
Справочник по математике для научных работников и инженеров : определения, теоремы, формулы / Г. Корн, Т.М. Корн ; пер. со 2-го амер. перераб. изд. И. Г. Арамановича и др. ; под общ. ред. И. Г. Арамановича. - 5-е изд. - М. : Наука, 1984. - 831 с. : ил. ; 22 см. - Библиогр.: с. 796-831. - 120000 экз. - Текст (визуальный) : непосредственный.
Авторы: Корн Гранино, Корн Т.М.
Шифры: 51 - К 66
Ключевые слова: математика, математика - справочники
Экземпляры: Всего: 1, из них: Ч-1
2. Отдельный том
Справочная книга по математической логике : в 4 ч. / пер. с англ. С.С. Гончарова [и др.] ; под ред. [и с предисл.] Ю.Л. Ершова [и др.] ; под ред. Дж. Барвайса. - М. : Наука, 1982 -. - 22 см. - Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977).
Ч. 4 : Теория доказательств и конструктивная математика / К. Сморинский, Г. Швихтенберг, Р. Стетмен [и др.] ; пер. Г.В. Давыдова, Г.Е. Минца ; под ред. В.П. Оревкова. - 1983. - 391 с. - Библиогр. в конце гл. - Предм. указ.: с. 383-388. - 20000 экз.
Ч. 4 : Теория доказательств и конструктивная математика / К. Сморинский, Г. Швихтенберг, Р. Стетмен [и др.] ; пер. Г.В. Давыдова, Г.Е. Минца ; под ред. В.П. Оревкова. - 1983. - 391 с. - Библиогр. в конце гл. - Предм. указ.: с. 383-388. - 20000 экз.
Авторы: Сморинский К., Швихтенберг Г., Стетмен Р., Стетмен Р.
Шифры: 51 - С 74
Ключевые слова: математическая логика, теория доказательств, справочники, конструктивная математика
Экземпляры: Всего: 2, из них: Х-2
3. Отдельный том
Справочная книга по математической логике : в 4 ч. / пер. с англ. С.С. Гончарова [и др.] ; под ред. [и с предисл.] Ю.Л. Ершова [и др.] ; под ред. Дж. Барвайса. - М. : Наука, 1982 -. - 22 см. - Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977).
Ч. 3 : Теория рекурсии / Г.Б. Эндертон, М. Девис, М.О. Рабин [и др.] ; пер. C.Г. Дворникова, И.А. Лаврова ; под ред. Ю.Л. Ершова. - 1982. - 360 с. - Библиогр. в конце гл. - Предм. указ.: с. 354-359. - Содерж.: В кн. также: Алгоритмические проблемы в теории полей: положительные аспекты / Ю.Л. Ершов. - 20000 экз.
Ч. 3 : Теория рекурсии / Г.Б. Эндертон, М. Девис, М.О. Рабин [и др.] ; пер. C.Г. Дворникова, И.А. Лаврова ; под ред. Ю.Л. Ершова. - 1982. - 360 с. - Библиогр. в конце гл. - Предм. указ.: с. 354-359. - Содерж.: В кн. также: Алгоритмические проблемы в теории полей: положительные аспекты / Ю.Л. Ершов. - 20000 экз.
Авторы: Эндертон Г.Б., Девис М., Рабин М.О., Рабин М.О.
Шифры: 51 - С 74
Ключевые слова: математическая логика, теория рекурсий, справочники
Экземпляры: Всего: 2, из них: Х-2