What do you guys think of this textbook? What’s the canonical text for a rigorous first course in math logic? Personally I find every math textbook with „friendly introduction to...“ suspect.