Book:Proofs and Concepts: the fundamentals of abstract mathematics