Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MAN_1973__206_162520, author = {John J. Wavrik}, title = {First {Order} {Completeness} {Theorems.}}, journal = {Mathematische Annalen}, pages = {249--264}, publisher = {mathdoc}, volume = {206}, year = {1973}, zbl = {0249.32013}, url = {http://geodesic.mathdoc.fr/item/MAN_1973__206_162520/} }
John J. Wavrik. First Order Completeness Theorems.. Mathematische Annalen, Tome 206 (1973), pp. 249-264. http://geodesic.mathdoc.fr/item/MAN_1973__206_162520/