ETDs @PUC-Rio
| Título: | CÁLCULO DE SEQÜENTES DE SUCEDENTE MÚLTIPLO PARA LÓGICA INTUICIONISTA DE PRIMEIRA ORDEM | ||
| Autor(es): |
MARIA FERNANDA PALLARES COLOMAR |
||
| Orientador (es) : |
LUIZ CARLOS PINHEIRO DIAS PEREIRA |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | PPG EM FILOSOFIA | ||
| Área: | FILOSOFIA | ||
| Banca: |
EDWARD HERMANN HAEUSLER - PUC-RIO OSWALDO CHATEAUBRIAND FILHO - PUC-RIO LUIZ CARLOS PINHEIRO DIAS PEREIRA - PUC-RIO MARIA DA PAZ NUNES DE MEDEIROS - UFRN WAGNER DE CAMPOS SANZ - UFG |
||
| Vocabulário: | CALCULO DE SEQUENCIAS GENTZEN SUCEDENTE MULTIPLO TEORIA DA PROVA |
||
| Apresentação: | 26/JUN/2007 | ||
| Aceitação: | 26/JUN/2007 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | 100 P164c | ||