Início
Aleatório
Aqui perto
Entrar
Definições
Donativos
Sobre a Wikipédia
Avisos gerais
Pesquisar
Sistema formal: diferenças entre revisões
Língua
Vigiar
Editar
Explorar interativamente o histórico
← Ver a alteração anterior
Ver a alteração posterior →
Conteúdo apagado
Conteúdo adicionado
Visual
Texto wiki
Revisão das 20h12min de 4 de dezembro de 2013
editar
177.20.130.9
(
discussão
)
→Prova Formal
Etiqueta
:
Editor Visual
← Ver a alteração anterior
Revisão das 19h26min de 19 de fevereiro de 2015
editar
desfazer
Marcelo Victor
(
discussão
|
contribs
)
Autorrevisores
82 200
edições
→Links Externos
Ver a alteração posterior →
Linha 81:
{{Lógica}}
{{Sistemas}}
{{Portal3|Matemática}}