Lógica/Cálculo Quantificacional Clássico: mudanças entre as edições
imported>He7d3r.bot m (moveu Lógica: Cálculo Quantificacional Clássico para Lógica/Cálculo Quantificacional Clássico: usando a barra como separador para organizar os capítulos do livro) |
imported>He7d3r.bot (Trocando categorização manual por AutoCat (o indexador da categoria estava incorreto) [ usando AWB ]) |
||
Linha 9: | Linha 9: | ||
#[[Lógica: Cálculo Quantificacional Clássico: Identidade e Símbolos Funcionais|Identidade e Símbolos Funcionais]] [[Imagem:00%.svg]] | #[[Lógica: Cálculo Quantificacional Clássico: Identidade e Símbolos Funcionais|Identidade e Símbolos Funcionais]] [[Imagem:00%.svg]] | ||
{{AutoCat}} |
Edição das 13h40min de 31 de agosto de 2010
Voltar para o Índice de Lógica