From propositional logic and completeness, through the basics of set theory and model theory, to the incompleteness theorem, the author skillfully presents notions and proofs without shying away from ...