Propriedade | Valor |
Nome: | 003. Alexandre Silva Cavalcante |
Descrição: | Título: Sistemas Esquemáticos de Dedução Natural - Um Estudo Prova-Teórico. Profª. Drª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora) Data: 12 de março de 2010 |
Nome do arquivo: | Link to 2010_tese_ascavalcante.pdf |
Tamanho do arquivo: | Desconhecido |
Tipo do arquivo: | pdf (Tipo Mime: link) |
Autor: | admin |
Criado em: | 12/03/2010 11:59 |
Viewers: | Everybody |
Mantido por: | Editor |
Hits: | 16587 Hits |
Última atualização em: | 20/12/2023 15:15 |
Homepage: |