Geodesic
The Craig interpolation theorems for fixed-valued predicate calculi
Novi Sad Journal of Mathematics, Tome 10 (1980) 
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/
@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},
     year = {1980},
     volume = {10},
     url = {http://geodesic.mathdoc.fr/item/NSJOM_1980_10_Nonea_20/}
}
TY  - JOUR
AU  - Vojvodić Gradimir
TI  - The 

 Craig interpolation theorems for fixed-valued predicate calculi
JO  - Novi Sad Journal of Mathematics
PY  - 1980
SP  - 173
EP  - 175
VL  - 10
UR  - http://geodesic.mathdoc.fr/item/NSJOM_1980_10_Nonea_20/
ID  - NSJOM_1980_10_Nonea_20
ER  - 
%0 Journal Article
%A Vojvodić Gradimir
%T The 

 Craig interpolation theorems for fixed-valued predicate calculi
%J Novi Sad Journal of Mathematics
%D 1980
%P 173-175
%V 10
%U http://geodesic.mathdoc.fr/item/NSJOM_1980_10_Nonea_20/
%F NSJOM_1980_10_Nonea_20

Voir la notice de l'article provenant de la source Novi sad journal of mathematics website