The sequent Gentzen system for m-valued logic

Bulletin of the Section of Logic, Tom 2, Numer 1 (1973) s. 30-35
Zygmunt Saloni

 

do góry