Voir la notice de l'article provenant de la source Novi sad journal of mathematics website
@article{NSJOM_1980_10_Nonea_20, author = {Vojvodi\'c Gradimir}, title = {The {Craig} interpolation theorems for fixed-valued predicate calculi}, journal = {Novi Sad Journal of Mathematics}, pages = {173-175}, publisher = {mathdoc}, volume = {10}, year = {1980}, url = {http://geodesic.mathdoc.fr/item/NSJOM_1980_10_Nonea_20/} }
Vojvodić Gradimir. The Craig interpolation theorems for fixed-valued predicate calculi. Novi Sad Journal of Mathematics, Tome 10 (1980). http://geodesic.mathdoc.fr/item/NSJOM_1980_10_Nonea_20/