Title: Gentle Introduction to Logic, Sets and the Techniques of Mathematical Proofs