Revisão das 15h34min de 18 de dezembro de 2006 editar 200.17.143.31 (discussão) ← Ver a alteração anterior		Revisão das 09h39min de 21 de dezembro de 2006 editar desfazer Salgueiro (discussão \| contribs) 6 902 edições Ver a alteração posterior →
Linha 82: ~~[[Categoria:Lógica]]~~ [[Categoria:Lógica matemática]] ~~[[categoria:Matemática]]~~ [[de:Skolemform]]

Skolemização: diferenças entre revisões