Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
von Plato, Jan and
Siders, Annika. 2012.
“Normal Derivability in Classical Natural Deduction.” The Review of Symbolic Logic 5(2): 205–211.