| dc.creator | Castro, Milton Augustinis de | |
| dc.date | 2004 | |
| dc.date | 2004-06-29T00:00:00Z | |
| dc.date | 2017-03-28T14:06:00Z | |
| dc.date | 2017-07-14T20:14:06Z | |
| dc.date | 2017-03-28T14:06:00Z | |
| dc.date | 2017-07-14T20:14:06Z | |
| dc.date.accessioned | 2018-03-29T04:13:11Z | |
| dc.date.available | 2018-03-29T04:13:11Z | |
| dc.identifier | (Broch.) | |
| dc.identifier | CASTRO, Milton Augustinis de. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa. 2004. 307p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://libdigi.unicamp.br/document/?code=vtls000350139>. Acesso em: 28 mar. 2017. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/280080 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1342595 | |
| dc.description | Orientador: Itala Maria Loffredo D'Ottaviano | |
| dc.description | Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas | |
| dc.description | Doutorado | |
| dc.description | Filosofia | |
| dc.description | Doutor em Filosofia | |
| dc.format | 307p. : il. | |
| dc.format | application/pdf | |
| dc.language | Português | |
| dc.publisher | [s.n.] | |
| dc.subject | Costa, Newton Carneiro Affonso da, 1929- | |
| dc.subject | Lógica - Estudo e ensino | |
| dc.subject | Lógica simbólica e matemática | |
| dc.subject | Lógica matemática não-clássica | |
| dc.subject | Logica de primeira ordem | |
| dc.title | Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa | |
| dc.type | Tesis | |
