Navegando por Autor Britto, Arthur Heller
Mostrando resultados 1 a 2 de 2
| Data do documento | Título | Autor(es) | Tipo |
|---|---|---|---|
| 1-Dez-2010 | Sobre uma prova abstrata de correção e completude de cálculos lógicos | Britto, Arthur Heller | Trabalho de Conclusão de Curso |
| 8-Nov-2013 | O teorema de Frege: uma reavaliação do seu projeto logicista | Britto, Arthur Heller | Dissertação |