Interpolation formulae for predicates and terms which carry their own history
From MaRDI portal
Publication:4106158
DOI10.1007/BF02276804zbMath0339.02012MaRDI QIDQ4106158
Publication date: 1976
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137918
Cites Work
This page was built for publication: Interpolation formulae for predicates and terms which carry their own history