%0 Journal Article %A John J. Wavrik %T First Order Completeness Theorems. %J Mathematische Annalen %D 1973 %P 249 %V 206 %I mathdoc %U https://geodesic-test.mathdoc.fr/item/MAN_1973__206_162520/ %G un %F MAN_1973__206_162520