Lógica/Lógicas Não-clássicas/Lógica Intuicionista: historial de revisões

Ver registos para esta página (ver o registo de abusos)

Seleção de diferenças: use os botões de opção das revisões para marcar as versões que deseja comparar. Pressione 'Enter' ou clique o botão abaixo.
Legenda: (atu) = diferenças para a versão atual, (ant) = diferenças para a versão anterior, m = edição menor.

atuant 13h40min13h40min de 31 de agosto de 2010‎ He7d3r.bot discussão contribs‎ 3 876 bytes −28‎ Trocando categorização manual por AutoCat (o indexador da categoria estava incorreto) [ usando AWB ] desfazer [verificada por Raylton P. Sousa]

atuant 19h15min19h15min de 4 de novembro de 2009‎ He7d3r.bot discussão contribs‎ m 3 904 bytes 0‎ 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 desfazer

atuant 20h32min20h32min de 10 de junho de 2009‎ PatiBot discussão contribs‎ m 3 904 bytes +15‎ correção de afluentes (usando AWB) desfazer

atuant 02h30min02h30min de 14 de maio de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 3 889 bytes +1‎ →‎Discrepâncias entre a Lógica Clássica e a Intuicionista desfazer

atuant 13h28min13h28min de 25 de dezembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 3 888 bytes +13‎ →‎Axiomas desfazer

atuant 18h08min18h08min de 24 de dezembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 3 875 bytes +83‎ →‎Axiomas desfazer

atuant 14h20min14h20min de 10 de dezembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 3 792 bytes +14‎ →‎Interpretação dos símbolos lógicos desfazer

atuant 03h18min03h18min de 30 de novembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 3 778 bytes 0‎ →‎Discrepâncias entre a Lógica Clássica e a Intuicionista desfazer

atuant 04h24min04h24min de 21 de novembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 3 778 bytes +54‎ →‎Semântica desfazer
atuant 04h00min04h00min de 21 de novembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 3 724 bytes 0‎ →‎Discrepâncias entre a Lógica Clássica e a Intuicionista desfazer
atuant 03h58min03h58min de 21 de novembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 3 724 bytes +1 517‎ →‎Discrepâncias entre a Lógica Clássica e a Intuicionista desfazer

atuant 13h12min13h12min de 19 de novembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 2 207 bytes +101‎ →‎Axiomas desfazer

atuant 01h28min01h28min de 26 de outubro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 2 106 bytes +293‎ →‎Axiomas desfazer

atuant 10h43min10h43min de 25 de outubro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 1 813 bytes +647‎ →‎Axiomas desfazer

atuant 05h52min05h52min de 15 de outubro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 1 166 bytes +870‎ →‎Interpretação dos símbolos lógicos desfazer
atuant 05h26min05h26min de 15 de outubro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 296 bytes +296‎ Sem resumo de edição

Obtido em "https://pt.wikibooks.org/wiki/Lógica/Lógicas_Não-clássicas/Lógica_Intuicionista"