Intro to Logic & Set Theory