TY  - JOUR
AU  - John J. Wavrik
TI  - First Order Completeness Theorems.
JO  - Mathematische Annalen
PY  - 1973
SP  - 249
EP  - 264
VL  - 206
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1973__206_162520/
ID  - MAN_1973__206_162520
ER  -