Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

Bulletin of the Section of Logic, Tom 46, Numer 1-2 (2017) s. 133
Andrzej Indrzejczak

 

do góry