Автор: Дж. Барвайс (редактор)
Название: Справочная книга по математической логике: В 4-х частях. Ч. I. Теория моделей. Ч. II. Теория множеств. Ч. III. Теория рекурсии. Ч. IV. Теория доказательств и конструктивная математика.
Издательство: М.: Наука. Главная редакции физико-математической литературы
Язык: русский
Год: 1982, 1983
Формат: djvu
Размер: 45,37 Мб
Кол-во страниц: 1516
Описание: Четыре части содержит этот справочник : «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы, а также приложения математической логики. Каждая глава написана для тех, кто не является специалистом в данной области. Издание рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Скачать книгу ‘Справочная книга по математической логике: В 4-х частях‘
Все материалы, представленные на нашем сайте, Вы сможете скачать по ссылкам различных бесплатных файлообменников совершенно бесплатно!
Инструкции, поясняющие, как надо качать бесплатно с файлообменников смотреть тут
Регистрация на нашем сайте позволит Вам добавлять свои книги, а также комментировать опубликованные книги, общаться с нашими авторами.
Для этого мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.