Главная Регистрация Вход

Для работы в проекте нужно Зарегистрироваться или Войти.

Теперь вы можете получать деньги, добавляя книги на наш сайт. Подробнее об этом читайте здесь.

Справочная книга по математической логике. Часть 3. Теория рекурсии

Барвайс Дж. (ред)
Справочная

Название Справочная книга по математической логике. Часть 3. Теория рекурсии
Автор Барвайс Дж. (ред)
Издательство Наука
Год 1982
Метки математическая логика
Размер 8.79 МБ
Рейтинг книги
0.00
(оценок < 5)
1 10

СКАЧАТЬ КНИГУ

ЧИТАТЬ ONLINE

БУМАЖНАЯ ВЕРСИЯ КНИГИ


Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги.

Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания.

Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.



Популярные книги раздела
Алгебра. Учебник 9 класс
Макарычев Ю.Н., Миндюк Н.Г., Нешков К.И., Суворова С.Б.
Геометрия. 7-9 классы
Атанасян Л.С., Бутузов В.Ф., Кадомцев С.Б., Позняк Э.Г., Юдина И.И.
Чтобы оставить отзыв от имени, Зарегистрируйтесь или войдите на сайт.