@misc
{TN_libero_mab2,
author = {
Indrzejczak, Andrzej
},
title = {
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
},
publisher = {Uniwersytet Lodzki (University of Lodz)},
isbn = {2449-836X},
isbn = {0138-0680},
keywords = {
Logic
,
Philosophy
},
year = {2017},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}