A finite base for the consequence operation

Bulletin of the Section of Logic, Tom 12, Numer 2 (1983) s. 76-89
Paweł M. Idziak

 

do góry