Найденные материалы, документы, бумажные и электронные книги и файлы:
Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
Search results:
- Барвайс. Дж. Справочная книга по математической логике
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к ...
www.studmed.ru - НАЧАЛА ТЕОРИИ МНОЖЕСТВ
Автор: НК Верещагин — [10] Справочная книга по математической логике в четырёх ча- стях под редакцией Дж.Барвайса. Часть II. Теория мно- жеств. Перевод с английского В.Г.Кановея ...
mccme.ru - Справочная книга по математической логике в четырех ...
Купете онлайн „Справочная книга по математической логике в четырех частях. Часть 1 ... Теория рекурсии Часть 4. Теория доказательств и конструктивная математика.
ortograph.com - Границы логики: онтологический поворот Текст научной статьи по ...
Автор: ЕГ Драгалина-Чёрная · 2009 · Цитируется: 4 — [Колмогоров, Драгалин2005] Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: УРСС, 2005. [Клайн, 1984] Клайн М. Математика. Утрата ...
cyberleninka.ru - Барвайс Дж. Справочная книга по математической логике: В 4-х ...
28 сент. 2016 г. — Ч.I. Теория моделей. Файлы · Академическая и специальная литература · Математика · Математическая логика · Теория моделей. Математическая логика.
www.studmed.ru - Правительство Российской Федерации
19 нояб. 2018 г. — основных теорем в различных областях математической логики, таких как теория моделей, ... книга по математической логике, т. 4: Теория ...
www.hse.ru - Логика на рубеже тысячелетий Текст научной статьи по ...
Автор: АС Карпенко · 2000 · Цитируется: 95 — ... теории множеств, теории моделей и в других областях науки и математики (см. ... Справочник по математической логике» [Барвайс (ред.) 1982], а в первый том ...
cyberleninka.ru
На данной странице Вы можете найти лучшие результаты поиска для чтения, скачивания и покупки на интернет сайтах материалов, документов, бумажных и электронных книг и файлов похожих на материал «Справочная книга по математической логике, часть 1, Теория моделей, Барвайс Д., 1982»
Для формирования результатов поиска документов использованы сервисы поиска по поисковым системам.
Показаны первые 7 результата(ов).