The elementary theory of groups : a guide through the proofs of the Tarski conjectures - Fine, Benjamin, 1948- (De Gruyter expositions in mathematics ;, 2014)