Referenzen
Michael Arndt
with Tesconi, L. (2015)., A cut-like inference in a framework of explicit composition for various calculi of natural deduction, in G. Lolli, M. Panza & G. Venturi (eds.), From logic to practice, Dordrecht, Springer, pp. 163-183.