The elementary theory of groups a guide through the proofs of the Tarski conjectures / - Fine, Benjamin,; Gaglione, Anthony.; Myasnikov, Alexei G.; Rosenberger, Gerhard.; Spellman, Dennis. (De Gruyter,, 2014)