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