Repository | Directory | Profile
References
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
Repository | Directory | Profile
A cut-like inference in a framework of explicit composition for various calculi of natural deduction
2015
in: From logic to practice, Dordrecht : Springer