Interpolation formulae for predicates and terms which carry their own history.
Archiv für mathematische Logik und Grundlagenforschung (1975)
- Volume: 17, page 159-170
- ISSN: 0003-9268
Access Full Article
topHow to cite
topSchulte-Mönting, Jürgen. "Interpolation formulae for predicates and terms which carry their own history.." Archiv für mathematische Logik und Grundlagenforschung 17 (1975): 159-170. <http://eudml.org/doc/137918>.
@article{Schulte1975,
author = {Schulte-Mönting, Jürgen},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
pages = {159-170},
title = {Interpolation formulae for predicates and terms which carry their own history.},
url = {http://eudml.org/doc/137918},
volume = {17},
year = {1975},
}
TY - JOUR
AU - Schulte-Mönting, Jürgen
TI - Interpolation formulae for predicates and terms which carry their own history.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1975
VL - 17
SP - 159
EP - 170
UR - http://eudml.org/doc/137918
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.