На старости лет заинтересовался логикой.
Нужно это мне для общего развития, хотя есть смутная надежда применить в программировании и в философии.
Понимаю, что мой вопрос слишком неконкретный.
Просто интересуют практически все разделы логики, а знаний чуть более чем ноль.
Интересует категорная логика, теория моделей (что это?), линейная логика, Львовско-Варшавская школа и вообще все.
Есть ли какие-то книги, понятные с нуля? Какие есть вообще области в современной логике?
Может быть кому-то что-то просто понравилось?