L. Tesconi
发表
A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction
Michael Arndt,
L. Tesconi,
2015
.
Enrico Moriconi,
Laura Tesconi,
E. Moriconi,
2008
.