У Бурбаки нет книги по логике. У них есть "Теория множеств", в которой есть глава про формальные системы и по которой можно, конечно, учить теорию множеств, необходимую для формализации математических объектов, но по логике и теории множеств есть книги лучше для любого уровня.
Ааа, почему-то показалось, что перед «Теорией множеств» было ещё что-то. Ясно.
смотрели ли Вы сабж на SE?
StackExchange? А где там смотреть? (Или угадал неправильно.)
Как общую вещь я бы посоветовал Манина "A Course in Mathematical Logic for Mathematicians", потому что там разбираются все "классические" результаты (теоремы Геделя и Тарского, 10 проблема Гильберта, независимость континуум-гипотезы, основные теоремы теории моделей, результаты в теории полей), изложение современное и с упором на семантику (во многих книгах, где теория моделей не рассматривается или почти не рассматривается, теорема Геделя представлена чисто синтаксическими своими вариантами, у Манина формулировка "истина не есть доказуемость" основная), упомянуты разные современные результаты (есть, например, краткое упоминание результатов Вудина о CH).
Спасибо! Для меня то что надо, чтобы все основания получше заполнить.