ETDs @PUC-Rio
| Título: | WHAT IS SKELETON OF A PROOF | ||
| Autor(es): |
EDUARDO NAHUM OCHS |
||
| Orientador (es) : |
NICOLAU CORCAO SALDANHA |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | GRADUATE PROGRAM IN MATHEMATICS | ||
| Área: | APPLIED MATHEMATICS | ||
| Banca: |
EDWARD HERMANN HAEUSLER - PUC-RIO LUIZ CARLOS PINHEIRO DIAS PEREIRA - PUC-RIO ROBERT A G SEELY - MCGILL MARCELO ESTEBAN CONIGLIO - UNICAMP NICOLAU CORCAO SALDANHA - PUC-RIO CARLOS FREDERICO BORGES PALMEIRA - PUC-RIO RENATA MARTINS DA ROSA - PUC-RIO PAULO AUGUSTO SILVA VELOSO - UFRJ |
||
| Vocabulário: | CATEGORY THEORY LOGIC SEMANTICS |
||
| Apresentação: | 22/AGO/2003 | ||
| Aceitação: | 22/AGO/2003 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | 510 O16q | ||