Higher-order sequent-system for intuitionistic modal logic

Bulletin of the Section of Logic, Tom 14, Numer 4 (1985) s. 140-143
Kosta Dosen

 

do góry