Fundamentals of Logic and Techniques for Mathematical Proofs