An interpolation theorem

Otto, Martin

Champaign, Ill / Association for Symbolic Logic (2000) [Journal Article]

Bulletin of symbolic logic
Volume: 6
Issue: 4
Page(s): 447-462

Identifier