The Elementary Theory of Groups : A Guide Through the Proofs of the Tarski Conjectures - Benjamin Fine; Anthony Gaglione; Alexei Myasnikov; Gerhard Rosenberger; Dennis Spellman (2014)