HH>На старости лет заинтересовался логикой. HH>Нужно это мне для общего развития, хотя есть смутная надежда применить в программировании и в философии. HH>Понимаю, что мой вопрос слишком неконкретный. HH>Просто интересуют практически все разделы логики, а знаний чуть более чем ноль. HH>Интересует категорная логика, теория моделей (что это?), линейная логика, Львовско-Варшавская школа и вообще все. HH>Есть ли какие-то книги, понятные с нуля? Какие есть вообще области в современной логике? HH>Может быть кому-то что-то просто понравилось?
HH>Заранее благодарю за ответы.
Введение в математическую логику. А. Чёрч. 1960
Введение в логику и методологию дедуктивных наук. Альфред Тарский 1948
Введение в математическую логику. Э. Мендельсон. 1971
Основания математики. Д. Гильберт, П. Бернайс
Введение в логическое программирование. К. Хоггер
Введение в математику. С. Клини 1957
Введение в теорию моделей и метаматематику алгебры. А. Робинсон. 1967
Математическая логика и автоматическое доказательство теорем. Ч.Чень Р. Ли.
Математическая логика. С. Клини. 1973
Здесь хватит надолго.. И это еще не все. Из того что пришлось прочитать. Многое повторяется. Особенно определения и такое..
