Derivação formal: historial de revisões

Filtrar revisõesExpandirOcultar

Até à data:

Filtro de etiquetas:

Inverter seleção

Ferramentas:

Discussões:

Nenhuma proposta de eliminação
Nenhuma proposta de destaque
Nenhuma proposta de revalidação de destaque

Para outros detalhes da página, clique em "Informações da página" na barra lateral à esquerda. Para mais informações, consulte as páginas de ajuda: Histórico e Sumário de edição.
Legenda:

atu: diferença da versão atual
ant: diferença da versão anterior
m: edição menor
→‎: edição de se(c)ção

atuant 21h04min21h04min de 19 de dezembro de 2019‎ Pórokhov discussão contribs‎ 5 749 bytes −19‎ desfazer

atuant 02h39min02h39min de 6 de setembro de 2017‎ Luizdl discussão contribs‎ m 5 768 bytes −36‎ ajustes usando script desfazer

atuant 05h42min05h42min de 21 de novembro de 2015‎ Victor Lopes discussão contribs‎ m 5 804 bytes −297‎ Wikipédia não é fonte confiável; ajuste(s) utilizando AWB desfazer

atuant 15h22min15h22min de 14 de julho de 2015‎ Alejandrocaro35 discussão contribs‎ 6 101 bytes −3‎ →‎Formalismo axiomático à la Hilbert desfazer
atuant 14h24min14h24min de 14 de julho de 2015‎ Alejandrocaro35 discussão contribs‎ 6 104 bytes +1‎ →‎Cálculo de sequentes de Gentzen desfazer

atuant 22h16min22h16min de 13 de julho de 2015‎ 200.2.54.98 discussão‎ 6 103 bytes +17‎ →‎Interpretação formal desfazer

atuant 04h08min04h08min de 2 de novembro de 2013‎ Kaktus Kid discussão contribs‎ 6 086 bytes +13‎ Ajustes desfazer

atuant 11h02min11h02min de 17 de abril de 2013‎ KLBot2 discussão contribs‎ m 6 073 bytes −22‎ Bot: A migrar 1 interwikis, agora providenciados por Wikidata em d:Q2762418 desfazer

atuant 01h04min01h04min de 10 de janeiro de 2010‎ Manuel de Sousa discussão contribs‎ 6 095 bytes +1‎ Alterações ao abrigo de WP:ORT/TC2009 desfazer

atuant 01h00min01h00min de 18 de outubro de 2009‎ Davemustaine discussão contribs‎ m 6 094 bytes +4‎ desfazer

atuant 00h10min00h10min de 30 de junho de 2008‎ Pablomn discussão contribs‎ 6 090 bytes −782‎ desfazer

atuant 14h28min14h28min de 21 de junho de 2008‎ Victorjabu discussão contribs‎ 32 bytes +32‎ ← feito redirecionamento para Derivação Formal

Derivação formal: historial de revisões

19 de dezembro de 2019

6 de setembro de 2017

21 de novembro de 2015

14 de julho de 2015

13 de julho de 2015

2 de novembro de 2013

17 de abril de 2013

10 de janeiro de 2010

18 de outubro de 2009

30 de junho de 2008

28 de junho de 2008

21 de junho de 2008