An interpolation theorem

Otto, Martin

Champaign, Ill : Association for Symbolic Logic (2000)
Journal Article

In: Bulletin of symbolic logic
Volume: 6
Issue: 4
Page(s)/Article-Nr.: 447-462