Repository | Directory | Profile
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
European Society
for Phenomenology
European Society
for Phenomenology
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