Normal modal logics in which the Heyting propositional calculus can be embedded : Abstract

Bulletin of the Section of Logic, Tom 17, Numer 1 (1988) s. 23-33
Kosta Dosen

 

do góry