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