Lecture Notes in Logic