Найденные материалы, документы, бумажные и электронные книги и файлы:
Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
Search results:
- МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ
В математике рассматривается одна теория—теория множеств, которая дли- ... Справочная книга по математической логике : в 4 ч. : пер. с англ. / под ред ...
www.math.tsu.ru - OCR форум - Книги по математике, физике, астрономии
Теория множеств. Ред. Дж. Барвайс. 1982. 10 ... Справочная книга по математической логике: В 4-х частях. Часть 4.Теория доказательств и конструктивная математика.
publ.lib.ru - НАЧАЛА ТЕОРИИ МНОЖЕСТВ
[10] Справочная книга по математической логике в четырёх частях под редакцией Дж.Барвайса. Часть II. Теория множеств. Перевод с англий- ского В.Г.Кановея ...
www.lirmm.fr - Барвайс. Дж. Справочная книга по математической логике
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к ...
www.studmed.ru - Математическая логика
Элементы математической логики (2-е изд.). М.: Наука, 1973 (djvu, 7.71 M) ... Математическая логика и теория множеств. М.: Росвузиздат, 1963 (djvu, 2.38 M) ...
mechmath.ipmnet.ru - Барвайс Дж. Справочная книга по математической логике. В 4-х ...
Справочная книга по математической логике. В 4-х частях. Часть 2. Теория множеств. Барвайс Дж. (Ред.). М., Наука, 1982 г. 376 с. Cостояние отличное ...
book-i-nist.com - Вычислимость в допустимых множествах тема диссертации и ...
Стукачев, Алексей Ильич. Вычислимость в допустимых множествах: дис. кандидат физико-математических наук: 01.01.06 - Математическая логика, алгебра и теория ...
www.dissercat.com
На данной странице Вы можете найти лучшие результаты поиска для чтения, скачивания и покупки на интернет сайтах материалов, документов, бумажных и электронных книг и файлов похожих на материал «Справочная книга по математической логике, часть 2, Теория множеств, Барвайс Д., 1982»
Для формирования результатов поиска документов использованы сервисы поиска по поисковым системам.
Показаны первые 7 результата(ов).