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

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

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

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

gh2>Многое из перечисленного устарело и может быть рекомендовано историкам науки.
gh2>Из перечисленного не читал только Хоггера и Чень Ли.
gh2>ИМХО Мендельсон разве что как классическое введение сгодится. На русском более-менее современное изложение классики у Ершова Палютина.
А я и Рассела рекомендую читать.. Что б понимать развитие.. Насчет устарело это юношеский максимализм.. Евклид и Ньютон тоже устарели..А тем не менее. Но то лирика.. Давай конструктивно а что нового? Только не ссылка на книгу.. а сформулдируй самостоятельно здесь..