An interpolation theorem

Otto, Martin

Champaign, Ill : Association for Symbolic Logic (2000)
Fachzeitschriftenartikel

In: Bulletin of symbolic logic
Band: 6
Heft: 4
Seite(n)/Artikel-Nr.: 447-462