Современная матлогика и как её грызть?

[Jmlling]

Здравствуйте! Подскажите книги/сайты, где можно было бы почерпнуть информации о современных течениях в матлогике, и вообще об её современном состоянии. Зарание спасибо!

[Профессор Снэйп]

Ершов, Палютин, Математическая логика

Вы на каком потоке?

[Cellarius]

http://arxiv.org/
Банально до неприличия =)))

[Профессор Снэйп]

Автору темы: Ссылку на НГУ в своём профиле Вы зачем-то оперативно стёрли, застеснялись непонятно чего... Ну да ладно, Ваше дело. Исправьте тогда уж и заголовок темы, а то слово "мотлогика" прям таки намекает на что-то неприличное

[Jmlling]

Ершов, Палютин - это, как мне кажется, уже своеобразный стандарт, но читать её - как песок жевать, и немало уже съедено. Хочется разнообразить рацион. (%

С заголовком темы, конечно, конфуз..
Я с ФИТа, поток там один. (%

[Профессор Снэйп]

Jmlling писал(а):

Я с ФИТа, поток там один. (%

А коли с ФИТа, так Непейводу читайте. Попса, конечно, но для программеров сойдёт