The Incompleteness Phenomenon: A New Course in Mathematical Logic