Ebook: Математическая логика

Из предисловия редактора:Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической логики, теории моделей и теории алгоритмов. Краткость книги достигнута многими авторскими находками в способе подачи материала. Многие важные результаты излагаются в упражнениях, которые составляют необходимую органическую часть книги.Книги по теме:Эдельман С. Л. Математическая логика Лихтарников Л. М., Сукачева Т. Г. Математическая логикаКалужнин Л. А. Что такое математическая логика? Колмогоров А.Н., Драгалин А. Г. Математическая логика Новиков П. С. Элементы математической логики Игошин В. И. Математическая логика и теория алгоритмов Никольская И. Л. Математическая логикаМендельсон Э. Введение в математическую логику Гладкий А. В. Математическая логика Клини С. К. Математическая логикаЕршов Ю. Л., Палютин Е. А. Математическая логика Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов