The
Craig interpolation theorems for fixed-valued predicate calculi
Novi Sad Journal of Mathematics, Tome 10 (1980)
Cet article a éte moissonné depuis 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},
year = {1980},
volume = {10},
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/