Gromov’s theorem on groups of polynomial growth and elementary logic (1984)

by L van den Dries, A Wilkie
Venue:J. Algebra