Michael Arndt
A cut-like inference in a framework of explicit composition for various calculi of natural deduction
2015
in: From logic to practice, Dordrecht : Springer
A cut-like inference in a framework of explicit composition for various calculi of natural deduction
2015
in: From logic to practice, Dordrecht : Springer