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