Lógica/Cálculo Quantificacional Clássico/Identidade e Símbolos Funcionais: historial de revisões

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.

7 de março de 2011

25 de janeiro de 2011

4 de novembro de 2009

10 de junho de 2009

2 de janeiro de 2007

23 de novembro de 2006

13 de abril de 2006