Jmarcos
no edit summary
21:11
+66
21:09
+272
13:24
+39
Created page with "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * ==..."
12:50
+445
