We have new chapters on non-standard (and standard) models of arithmetic and on second-order logic. First drafts, so please provide feedback and report mistakes you find (especially in the second-order logic part).
They are part of the new remixed text on incompleteness, too.