Я ищу ресурсы для введения в формальную логику, чтобы понять доказательство теоремы Гёделя о полноте для логики 1-го порядка. У меня есть некоторый опыт в области теории множеств и алгебры (степень бакалавра математики), но я никогда не посещал курсы формальной логики или основ математики.
Многие вводные книги и веб-ресурсы, которые я нахожу, ориентированы на кого-то с более философским, чем математическим образованием, или очень подробно описывают проблемы, возникающие при попытках логически интерпретировать предложения естественного языка. Мне было бы особенно интересно, если бы кто-нибудь порекомендовал онлайн-ресурсы (видео или веб-сайты), а также тексты, конкретно описывающие логику первого порядка в математически конкретной и лаконичной форме.
Эббингауз, Флум и Томас идеально подходят для таких, как вы. http://www.springer.com/us/book/9780387942582
цель именно то, что вы хотите: теорема Гёделя о полноте. подача великолепная.
нвр
Бамбл