Topics in Logic and Model Theory