Bridge To Abstract Math. Mathematical Proof And Structures 1987