Histórico

Saltar para a navegação Saltar para a pesquisa

Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC

14 de dezembro de 2020

Marcos Antônio Nunes de Moura
Foram revertidas as edições de 2804:D4B:830E:F200:E5B8:1A71:886C:A1BD (disc) para a última revisão de He7d3r.bot
m
19h21min
−105
2804:d4b:830e:f200:e5b8:1a71:886c:a1bd
– · ·– –– ––– ··· ··– ·– –··· ·– –· –·· ·· –·· ·–
17h07min
+105

20 de março de 2012

He7d3r.bot
Correção de afluentes dos capítulos do livro de lógica (\[\[([^\n]*): ([^\n]*)\]\] --> [ [$1/$2]]) e de typos; -hack obsoleto para forçar PNG
m
12h33min
−266

7 de março de 2011

He7d3r.bot
Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes.
m
18h56min
−359

25 de janeiro de 2011

He7d3r.bot
Atualizando a categoria do livro, com AutoCat (detalhes). utilizando AWB
12h19min
−65

4 de novembro de 2009

He7d3r.bot
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
m
19h15min

10 de junho de 2009

PatiBot
correção de afluentes (usando AWB)
m
20h31min
+5

5 de janeiro de 2008

9 de fevereiro de 2007

Dante Cardoso Pinto de Almeida
→‎Exemplo 3
m
05h15min
+19

30 de outubro de 2006

Dante Cardoso Pinto de Almeida
sem resumo de edição
04h20min
+306

13 de abril de 2006

Obtido em "https://pt.wikibooks.org/wiki/Especial:History/Lógica/Cálculo_Quantificacional_Clássico/Tablôs_semânticos_no_CQC"