Вопрос здешним математикам
А что читать на тему современной математической логики?

Я сейчас читаю исторически ценное - Рассела и Фреге, но с тех пор ведь много чего изменилось.