Approaching mathematics from a computer science viewpoint, this book defines ways of calculating the results of applying the operators, then shows how they satisfy various properties.The comprehensive text is supplemented with summaries, proofs and exercises.
"synopsis" may belong to another edition of this title.