Всем привет,
какая по Вашему мнению наиболее хорошая книга по мат. логике?
Под хорошестью подразумеваю:
- излагающая предмет наиболее общепринятым способом
- системность в изложении
- охватывающая наиболее полно важные результаты в этой области
наиболее полно общепринято - полно в смысле общепринятости,
то есть должно впитать всё и отсечь необщепринятое - что останется?
Мендельсон Э. Введение в математическую логику Никольская И.Л. Математическая логика Мальцев А.Н. Алгоритмы и рекурсивные функции Мальцев А.И. Избранные труды, в 2-х томах Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики ...
