Интеллектуальные развлечения. Интересные иллюзии, логические игры и загадки.

Справочная книга по математической логике: В 4-х частях (Теория моделей, множеств, рекурсии, доказательств и конструктивная математика) (Под ред. Дж.Барвайса)

ОТ ИЗДАТЕЛЫСТВА
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книга. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном текстеиздания.
Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

Издатель: "Наука", Главная редакция физико-математической литературы

Год издания: 2001

Язык: русский

Качество: хорошее

С книгой «Справочная книга по математической логике: В 4-х частях (Теория моделей, множеств, рекурсии, доказательств и конструктивная математика)» также читают:

• Школьные учебники по алгебре, 7-11 класс
• Атанасян Л.С. и др. Геометрия 7-9
• Атанасян Л.С. и др. Геометрия 7 класс (Решебник)
• Атанасян Л.С. и др. Геометрия 10-11 классы
• Метрология, Стандартизация и Сертификация