Kripke semantics for logic with BCK

Bulletin of the Section of Logic, Tom 25, Numer 1 (1996) s. 41-51
Wendy MacCaull

 

do góry