On interpolation when function symbols are present.
Walter Felscher (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Walter Felscher (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jürgen Schulte-Mönting (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hugo Volger (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Saharon Shelah (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
G. Kreisel (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Robert Fittler (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
D.W.H. Gillam (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: