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
Identifier
- DOI: 10.2307/420966
- RWTH PUBLICATIONS: RWTH-CONV-048675