On minimal resolution proof for resolution logics

Bulletin of the Section of Logic, Tom 26, Numer 2 (1997) s. 94-101
Zbigniew Stachniak

 

do góry