Try Polya's Mathematics and Plausible Reasoning, Volume 1: Induction and Analogy in Mathematics - plus something on formal languages and proofs - it amazes me how few people really understand mathematical induction and proofs. Once you understand that stuff, the notation is just another programming language.