An Analysis of the Rules of Gentzen's nJ and LJ

Mirjana Borisavljevic. An Analysis of the Rules of Gentzen's nJ and LJ. Rew. Symb. Logic, 11(2):347-370, 2018. [doi]

Abstract

Abstract is missing.