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