TY - JOUR AU - L. van den Dries AU - Angus Macintyre TI - The logic of Rumely's local-global principle. JO - Journal für die reine und angewandte Mathematik PY - 1990 SP - 33 EP - 56 VL - 407 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/JRAM_1990__407_153228/ ID - JRAM_1990__407_153228 ER -