Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Tourlakis, George (York University, Toronto)

This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.