| dc.creator | Alves, Daniel Durante Pereira, 1968- | |
| dc.date | 1999 | |
| dc.date | 1999-01-09T00:00:00Z | |
| dc.date | 2017-03-22T00:17:38Z | |
| dc.date | 2017-07-14T20:13:01Z | |
| dc.date | 2017-03-22T00:17:38Z | |
| dc.date | 2017-07-14T20:13:01Z | |
| dc.date.accessioned | 2018-03-29T04:12:34Z | |
| dc.date.available | 2018-03-29T04:12:34Z | |
| dc.identifier | (Broch.) | |
| dc.identifier | ALVES, Daniel Durante Pereira. Normalização forte via ordinal natural. 1999. 405 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, [SP. Disponível em: <http://libdigi.unicamp.br/document/?code=vtls000178287>. Acesso em: 21 mar. 2017. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/280389 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1342448 | |
| dc.description | Orientador: Itala Maria Loffredo D'Ottaviano | |
| dc.description | Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas | |
| dc.description | Resumo: Não informado | |
| dc.description | Abstract: Not informed. | |
| dc.description | Doutorado | |
| dc.description | Doutor em Filosofia | |
| dc.format | 405 p. | |
| dc.format | application/pdf | |
| dc.language | Português | |
| dc.publisher | [s.n.] | |
| dc.subject | Lógica simbólica e matemática | |
| dc.subject | Filosofia | |
| dc.subject | Cálculo de predicados | |
| dc.subject | Matemática | |
| dc.subject | Calculo lambda | |
| dc.title | Normalização forte via ordinal natural | |
| dc.type | Tesis | |
