Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: diferenças entre revisões
Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC (editar)
Revisão das 19h15min de 4 de novembro de 2009
, 4 de novembro de 2009moveu Lógica: Cálculo Quantificacional Clássico: Tablôs semânticos no CQC para Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: usando a barra como separador para organizar os capítulos do livro
| [edição não verificada] | [edição não verificada] |
m (correção de afluentes (usando AWB)) |
m (moveu Lógica: Cálculo Quantificacional Clássico: Tablôs semânticos no CQC para Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: usando a barra como separador para organizar os capítulos do livro) |
(Sem diferenças)
| |