24:31Math 557 – Quantifier Elimination for Algebraically Closed FieldsJan Reimann279 views·5 years ago