Page history
15 September 2020
→Dedução Natural para a Lógica Proposicional Intuicionista
+117
→Dedução Natural para a Lógica Proposicional Intuicionista
-1
→Dedução Natural para a Lógica Proposicional Intuicionista
+7
→Dedução Natural para a Lógica Proposicional Intuicionista
+6
no edit summary
+133
14 September 2020
→Dedução Natural para a Lógica Proposicional Intuicionista
+1
→Dedução Natural para a Lógica Proposicional Intuicionista
+610
→Dedução Natural para a Lógica Proposicional Intuicionista
+108
→Dedução Natural para a Lógica Proposicional Intuicionista
+7
→Dedução Natural para a Lógica Proposicional Intuicionista
+388
→Dedução Natural para a Lógica Proposicional Intuicionista
+290
→Dedução Natural para a Lógica Proposicional Intuicionista
+444
→Dedução Natural para a Lógica Proposicional Intuicionista
+9
→Dedução Natural para a Lógica Proposicional Intuicionista
+123
13 September 2020
mudando as coisas de lugar
-19
→Dedução Natural para a Lógica Proposicional Clássica
+14
→Dedução Natural para a Lógica Proposicional Clássica
→Dedução Natural para a Lógica Proposicional Clássica
+65
→Dedução Natural para a Lógica Proposicional Clássica
-12
→Dedução Natural para a Lógica Proposicional Clássica
+83
→Dedução Natural para a Lógica Proposicional Clássica
+97
→Dedução Natural para a Lógica Proposicional Clássica
-4
→Dedução Natural para a Lógica Proposicional Clássica
→Dedução Natural para a Lógica Proposicional Clássica
+8
→Dedução Natural para a Lógica Proposicional Clássica
→Dedução Natural para a Lógica Proposicional Clássica
-6
→Dedução Natural para a Lógica Proposicional Clássica
+7
→Dedução Natural para a Lógica Proposicional Clássica
+22
→Dedução Natural para a Lógica Proposicional Clássica
+37
→Dedução Natural para a Lógica Proposicional Clássica
+1
→Dedução Natural para a Lógica Proposicional Clássica
-10
→Dedução Natural para a Lógica Proposicional Clássica
+100