К содержанию
CiteXCiteX — научный поиск с источниками
РецензированоRU1984

Введение в математическую логику

Мендельсон Э.

Учебная литература · 1984

Аннотация

В книге Э.Мендельсона "Введение в математическую логику" даётся до- ступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений. На- ряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С.К.

Доказательный фрагмент

«В книге Э.Мендельсона "Введение в математическую логику" даётся до- ступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений.»

Образец извлечения

Демо-превью

В книге Э.Мендельсона "Введение в математическую логику" даётся до- ступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений. Полный текст публикации CiteX не хранит — доступ к первоисточнику открывается по DOI согласно лицензии издателя и выбранному плану.

DOI не указан
Цитирований
0
Просмотров
0
Тип
Журнал
Страна
Узбекистан
Спросить CiteX об этой работе

Смежные источники