Elementary theory of groups a guide through the proofs of the tarski conjecture - Benjamin Fine (Boston De Gruyter, 2014)