Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Технические и естественные науки » Естественные науки » Физико-математические науки » Математика
Каталог товаров:
 |
Справочная книга по математической логике. Часть 4. Теория доказательств и конструктивная математика867 руб
В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Настоящее издание состоит из четырех книг: Теория моделей, Теория множеств, Теория рекурсии, Теория доказательств и конструктивная математика. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. 2012. Воспроизведено в оригинальной авторской орфографии издания 1983 года (издательство ""Наука", Главная редакция физико-математической литературы"). |