Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
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 |
|||
Linha 266:
{{Esboço/Matemática}}
{{AutoCat}}
|