This document is unfortunately not available for download at the moment.
Gabriele Lolli , Marco Panza, Giorgio Venturi (2015) From logic to practice: Italian studies in the philosophy of mathematics, Dordrecht, Springer.
Paradox and inconsistency
revising Tennant's distinction through Schroeder-Heister's assumption rules
Luca Tranchini
pp. 111-121
Not implemented yet !