книжки по логике

Teach Yourself Logic 2017: A Study Guide - очень полезный подробный обзор с рекомендациями учебников по математической логике и разным ее областям, английского логика Питера Смита. Он его обновляет каждый год - я точно пару лет назад уже читал, и мне помнилось, что даже написал тогда о нем, но не могу найти.

Хорошо бы такие вдумчивые обзоры иметь по другим областям математики, физики и прочих наук.

P.S. Мои собственные рекомендации. Для введения в мат. логику, предполагая знакомство с высшей математикой и строгими доказательствами: H. Enderton, A Mathematical Introduction To Logic. Теоремы Гёделя о неполноте: R. Smullyan, Godel's Incompleteness Theorems. Теория множеств: A. Levy, Basic Set Theory (не доходит до результатов о независимости, хорошо освещает ординалы и кардиналы, включая большие кардиналы).