On Gentzen Systems Associated with the Finite Linear MV-Algebras

Personal tools