Proofs and Fundamentals:A First Course in Abstract