Introduction to Logic & Set Theory