Здравствуйте, batu, Вы писали:

B>Введение в математическую логику. А. Чёрч. 1960
B>Введение в логику и методологию дедуктивных наук. Альфред Тарский 1948
B>Введение в математическую логику. Э. Мендельсон. 1971
B>Основания математики. Д. Гильберт, П. Бернайс
B>Введение в логическое программирование. К. Хоггер
B>Введение в математику. С. Клини 1957
B>Введение в теорию моделей и метаматематику алгебры. А. Робинсон. 1967
B>Математическая логика и автоматическое доказательство теорем. Ч.Чень Р. Ли.
B>Математическая логика. С. Клини. 1973

B>Здесь хватит надолго.. И это еще не все. Из того что пришлось прочитать. Многое повторяется. Особенно определения и такое..

Многое из перечисленного устарело и может быть рекомендовано историкам науки.
Из перечисленного не читал только Хоггера и Чень Ли.
ИМХО Мендельсон разве что как классическое введение сгодится. На русском более-менее современное изложение классики у Ершова Палютина.