Publié le : 1975-01-01
EUDML-ID :
urn:eudml:doc:137918
@article{GDZPPN002044676,
title = {Interpolation formulae for predicates and terms which carry their own history.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {17},
year = {1975},
pages = {159-170},
url = {http://dml.mathdoc.fr/item/GDZPPN002044676}
}
Schulte-Mönting, Jürgen. Interpolation formulae for predicates and terms which carry their own history.. Archiv für mathematische Logik und Grundlagenforschung, Tome 17 (1975) pp. 159-170. http://gdmltest.u-ga.fr/item/GDZPPN002044676/