On an algebraic and Kripke semantics for intermediate logics
Tom 9 / 1982
Banach Center Publications 9 (1982), 431-438
DOI: 10.4064/-9-1-431-438
