Подскажите учебник по логике.

[AD]

Учить нас этому, видимо, уже не будут, а разобраться хочется. Подскажите, пожалуйста, хороший современный учебник по математической логике. Хочется:
1. Хотя бы в общих чертах понять, что там происходит "до сотворения теории множеств".
2. Перестать плавать в понятиях "доказуемость", "истинность", и т.п.
3. Ну и вообще быть культурным человеком.

Добавлено спустя 5 минут 9 секунд:

Чувствую себя примерно вот так:

[artful7]

Есть такой учебник:
Гетманова А.Д. Учебник по логике, 1995.

[AD]

Цитата:

Вашему вниманию предлагается один из лучших за последнее время учебников по логике, написанный доктором философских наук Александрой Денисовной Гетмановой. Книга рекомендована в качестве учебного пособия для студентов вузов.

Это точно оно?

[artful7]

Оно.

[AD]

http://www.bks-mgu.ru/fulltxt/A313.htm
Не, ну слушайте, эт не то. Я поближе к математике что-нибудь хотел.

AD в сообщении #169670 писал(а):

Хотя бы в общих чертах понять, что там происходит "до сотворения теории множеств".

[artful7]

Аристотеля, что-ли?

[gefest_md]

AD писал(а):

Учить нас этому, видимо, уже не будут, а разобраться хочется. Подскажите, пожалуйста, хороший современный учебник по математической логике. Хочется:
1. Хотя бы в общих чертах понять, что там происходит "до сотворения теории множеств".
2. Перестать плавать в понятиях "доказуемость", "истинность", и т.п.
3. Ну и вообще быть культурным человеком.

Добавлено спустя 5 минут 9 секунд:

Чувствую себя примерно вот так:

Клини С.К., "Математическая логика", 1973. Английское переиздание 2002 г.

[luitzen]

И за что Гетмановой доктора дали?

Пока не набежали фанаты Ершова и Палютина, быстренько порекомендую вот это: Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic.

[AD]

luitzen в сообщении #169881 писал(а):

Пока не набежали фанаты Ершова и Палютина, быстренько порекомендую вот это: Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic.

Достал, почитываю. Спасибо.