Condições de equivalência entre os princípios da indução fraca, da indução completa e da boa ordem
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 === Made available in DSpace on 2012-10-25T06:43:56Z (GMT). No. of bitstreams: 1 284555.pdf: 249411 bytes, checksum: 1d7e88413458866467e3ec7ac5...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://repositorio.ufsc.br/xmlui/handle/123456789/94113 |