Model theory of fields decidability, and bounds for polynomial ideals - Van Den Dries, L.P.D. (Laurentius Petrus Dignus) (s.n.], 1978)