Reductive Techniques in Proofs of the Completeness Theorems for the Normal Bimodal Systems

Bulletin of the Section of Logic, Tom 32, Numer 3 (2003) s. 147-159
Piotr Łukowski

 

do góry