Mostrando 1 - 2 resultados de 2 para a busca 'MARIA FERNANDA PALLARES COLOMAR', tempo de busca: 0,01s

1

[pt] APLICAÇÕES DA PRIMEIRA PROVA DE CONSISTÊNCIA APRESENTADA POR GENTZEN PARA A ARITMÉTICA DE PEANO

Publicado em 2003
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese

2

[pt] CÁLCULO DE SEQÜENTES DE SUCEDENTE MÚLTIPLO PARA LÓGICA INTUICIONISTA DE PRIMEIRA ORDEM

Publicado em 2008
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese