Logic and structure (Q5907067)

This is the fourth edition of an authoritative and well-written textbook of mathematical logic. The most significant improvement on the third edition [(1994; Zbl 0807.03001)] consists of a new chapter devoted to Gödel's First Incompleteness Theorem. The approach in that chapter is fairly standard, by way of primitive recursive and partial recursive functions, recursively enumerable sets, representability, arithmetization, and the Fixed Point Theorem.