Elementary Theory of Groups