Relação bem-fundada: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 180:
[http://citeseer.ist.psu.edu/goubault-larrecq01wellfounded.html Well-Founded Recursive Relations]
<br>
[4]CONIGLIO, Marcelo Esteban.''Teoria axiomática dos conjuntos''.
Universidade estadual de Campinas-SP, Brasil.
<br>
[5]FORSTER, Thomas.''Logic, Computation and Set Theory''. 14 jan. 2002.
<br>
[6] [http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_de_equival%C3%AAncia Relação de equivalência]
| |||