An Introduction To The Logic Of Algebra. by Gill Davies & Thomas B. Davis