Данное издание Гудстейна может служить кратким введением в математическую логику, в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. 2012. Воспроизведено в оригинальной авторской орфографии издания 1961 года (издательство "Иностранная литература").