Classical versions of BCI, BCK and BCIW logics

Bulletin of the Section of Logic, Tom 23, Numer 2 (1994) s. 61-65
John K. Slaney, Martin W. Bunder

 

do góry