An application of the Rieger-Nishimura formulas to the intuitionistic modal logics

Bulletin of the Section of Logic, Tom 13, Numer 3 (1984) s. 120-124
Dimiter Vakarelov

 

do góry