This document is unfortunately not available for download at the moment.
313-319
Introduction
Mancosu Paolo
321-332
Elimination problems in logic
William Lane Craig
333-339
The road to two theorems of logic
William Lane Craig
341-357
Harmonious logic
Feferman Solomon
359-383
Some remarks on the bearing of model theory on the theory of theories
Demopoulos William
385-400
Wissenschaftslogik
Friedman Michael
401-420
The Craig interpolation theorem in abstract model theory
Väänänen Jouko
437-450
Interpolation in computing science
Renardel de Lavalette Gerard R
451-460
The many faces of interpolation
van Benthem Johan
Not implemented yet !