Revisão das 20h17min de 15 de junho de 2007 editar Pedrohp (discussão \| contribs) 41 edições ← Ver a alteração anterior		Revisão das 15h21min de 16 de junho de 2007 editar desfazer 201.76.156.70 (discussão) Minor corrections Ver a alteração posterior →
Linha 26: ==Ver Também== * [[~~Branching quantifier~~Quantificadores]] ==Referencias==

Leon Henkin: diferenças entre revisões