Lógica/Lógicas Não-clássicas/Lógica Intuicionista: diferenças entre revisões
| [edição não verificada] | [edição verificada] |
Conteúdo apagado Conteúdo adicionado
m moveu Lógica: Lógicas Não-clássicas: Lógica Intuicionista para Lógica/Lógicas Não-clássicas/Lógica Intuicionista: usando a barra como separador para organizar os capítulos do livro |
Trocando categorização manual por AutoCat (o indexador da categoria estava incorreto) [ usando AWB ] |
||
Linha 53:
{{Esboço/Matemática}}
{{Esboço/Filosofia}}
{{AutoCat}}
| |||