URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Барвайс Дж. Справочная книга по математической логике. Пер. с англ.
Id: 4940
 
1999 руб.

Справочная книга по математической логике. Пер. с англ. Ч.1-4

1983. 1504 с. Твердый переплет. Букинист. Состояние: 4+. Есть погашенная печать расформированной библиотеки.

 Аннотация

Ч. 1-392 стр.:"Теория моделей". Пер.с анг.: Гончаров С.С., Дзгоев В.Д., Самохвалов К.Ф., Свириденко Д.И. Под ред.: Ершов Ю.Л., Палютин Е.А., Тайманов А.Д.

Ч. 2-376 стр.: "Теория множеств". Пер.с анг.: Кановей В.Г. Под ред.: Гришин В.Н.

Ч. 3-360 стр.: "Теория рекурсии". Пер.с анг.: Дворников С.Г., Лавров И.А. Под ред.: Ершов Ю.Л.

Ч. 4-392 стр.: "Теория доказательств и конструктивная математика". Пер.с анг.: Давыдов Г.В., Минц Г.Е. Под ред.: Оревков В.П.

“Справочник по математической логике” является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем мы отобрали те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.

Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. При составлении книги за неимением лучшего мы следовали традиционному делению.

 
© URSS 2016.

Информация о Продавце