V. B. Weispfenning

• Model theory and algebra