![](/img/cover-not-exists.png)
Interpolation in fragments of intuitionistic propositional logic
de Lavalette, Gerard R. RenardelVolume:
54
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/S0022481200041177
Date:
December, 1989
File:
PDF, 652 KB
english, 1989