Problema de la justificació de la deducció: historial de revisions

Llegenda (ajuda): (act) = diferència amb la versió actual, (prev) = diferència amb la versió prèvia, m = edició menor,  → = edició de secció.

14 juny 2022

15 nov 2021

19 ago 2021

23 ago 2020

22 març 2020

29 abr 2016

5 abr 2013

23 feb 2013

12 gen 2013

4 nov 2012

21 nov 2011

3 nov 2011

30 juny 2011

4 gen 2011

18 oct 2010

17 oct 2010