I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
von Plato, Jan and
Siders, Annika. 2012.
“Normal Derivability in Classical Natural Deduction.” The Review of Symbolic Logic 5(2): 205–211.