Книга Гудстейна может служить кратким введением в математическую логику. При небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Геделя о полноте исчисления предикатов и неполноте арифметики. (Подробнее)