Jmarcos
no edit summary
17:59
-30
Created page with "* Sintaxe da lógica de primeira ordem * Sistemas dedutivos para a lógica de primeira ordem * Semântica formal para a lógica de primeira ordem == Para reflexã..."
12:55
+320