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