Мат. логика (для синонимайзера)

Какую именно литературу посоветуйте прочесть по математической логике? Нужно для написания синонимайзера английского языка лингвистом.

* Гладкий А. Введение в современную логику.

* Гуц А. Математическая логика и теория алгоритмов.

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

* Клини С. Математическая логика.

* Колмогоров А., Драгалин А. Математическая логика, дополнительные главы.

* Кулик Б. Логика естественных рассуждений.

* Лавров И., Максимова Л. Задачи по теории множеств, мат. логике и теории алгоритмов.

* Мендельсон Э. Введение в математическую логику.

* Новиков П. Конструктивная математическая логика с точки зрения классической.

* Новиков П. Элементы математической логики.

* Тарский А. Введение в логику и методологию дедуктивных наук.

* Черч А. Введение в математическую логику.

http://fbilib.alfamoon.com/forums/printpage.php?forum=13&topic=23

Список литературы по логике:

Классика:

1.Стефан Коул Клини:

•«Математическая логика» («розовый Клини») самая актуальная и достаточная ***скачать(?) купить на Озоне

•«Введение в математику» («Серый Клини») самая мощная, брутальная

2.А. Черч «Введение в математическую логику»

3.Х. Карри «Основание математической логики»

4.Э. Мендельсон «Введение в математическую логику» (нудная и жестокая книга )

Новые книги:

5.П.С. Новиков «Элементы математической логики» т. 1. (сухо, но кратко и здраво)

6.А.В. Гладкий «Математическая логика» («для гуманитариев»)

7.«Формальная логика» учебник для вузов (или символическая) – пол учебника на тему классической логики, половина на тему формальной. Подарок от ленинградского университета