Книга по математической логике

[jms]

Всем привет,

какая по Вашему мнению наиболее хорошая книга по мат. логике?

Под хорошестью подразумеваю:
- излагающая предмет наиболее общепринятым способом
- системность в изложении
- охватывающая наиболее полно важные результаты в этой области

[gefest_md]

Лично я предпочитаю те книги по логике, которые имеют не более 400 страниц и не меньше 300 (13-14 шрифт). Остальное - дело вкуса. Возможно учебник Тимофеевой И.Л. исключение, но найти его для скачивания не могу.

[mkot]

Хорошая, на мой взгляд, книга -- это Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Эту книгу можно найти на сайте МЦНМО:
www.mccme.ru/free-books/

[Brukvalub]

Мне в молодости очень понравилась вот эта книга: Мендельсон Э. — Введение в математическую логику
Еще весьма неплохи: Колмогоров А.Н., Драгалин А.Г. — Введение в математическую логику
Колмогоров А.Н., Драгалин А.Г. — Математическая логика. Дополнительные главы

[jms]

Brukvalub писал(а):

Мне в молодости очень понравилась вот эта книга: Мендельсон Э. — Введение в математическую логику
Еще весьма неплохи: Колмогоров А.Н., Драгалин А.Г. — Введение в математическую логику
Колмогоров А.Н., Драгалин А.Г. — Математическая логика. Дополнительные главы

Всем откликнувшимся большое спасибо.

Есть еще небольшой вопрос -- не знал где задать. Если на сайте библиотеки мехмата написано что книгу с сайта скачать нельзя, значит ли это что ее можно взять только напрямую в библиотеке? Или есть какой то способ получить электронный экземпляр?

[Brukvalub]

jms в сообщении #153079 писал(а):

есть какой то способ получить электронный экземпляр?

Можно поискать с помощью сервиса http://www.poiskknig.ru/

[Taras]

Мой ужасный сон -это книга Мендельсона(да простит меня Brukvalub). Если вы хорошо разбираетесь в МатЛо, тогда может быть и стоит ее читать, а если для начала, то мне лично больше нравится Черч А. Введение в математическую логику, М., 1961.

[Brukvalub]

Taras в сообщении #153125 писал(а):

Мой ужасный сон -это книга Мендельсона

Хорошо ещё, что не марш Мендельсона

[gefest_md]

Я уже скачал книги по математической логике, теории множеств, с разных сайтов: на русском (втч пер. с анг.) >500 Мб, на английском >800 Мб. Чтобы не тратили время на поиск ссылок, только назовите книгу.

Taras писал(а):

а если для начала, то мне лично больше нравится Черч А. Введение в математическую логику, М., 1961.

Для первокурсников это не подходит так же как и "ВМ" Клини. И потом в процессе учёбы нет времени на чтение монографий.

[Джек]

Також можна пошукати книги на www.ebdb.ru
Великий архів книг є також на www.math.ru

[luitzen]

jms писал(а):

Всем привет,

какая по Вашему мнению наиболее хорошая книга по мат. логике?

Под хорошестью подразумеваю:
- излагающая предмет наиболее общепринятым способом
- системность в изложении
- охватывающая наиболее полно важные результаты в этой области

jms, если я Вас правильно понял, то могу порекомендовать:
Игошин В. И. — Математическая логика и теория алгоритмов — М., 2008.
Сам, правда, внимательно её не проглядывал

Ну и Верещагин + Шень, конечно, но это посерьёзнее.

[outmind]

"Мат. логика" Шенфильд , Мендельсон, Клини, Лавров, Колмогоров/Драгалин

Задачник - Лавров/Максимова

Стандартный комплект - Мендельсон/Шенфильд + Лавров/Максимова.

Колмогоров/Драгалин - тоже советую. Особенно тем кто "совсем сначала". Небольшая глубина, но очень мило.

[Чудо-в-перьях]

А мне нравится Э.Мендельсон, Введение в математическую логику)
О, Игошин -- это тоже вещь;) полностью присоединяюсь к предыдущей рекомендации

[Профессор Снэйп]

Юршов, Палютин, Математическая логика.

[outmind]

Юршов более известен под фамилией Ершов. Или это сокращение Юрий Ершов?