Dissertações
NORMALIZACAO E NORMALIZACAO FORTE PARA A LOGICA CLASSICA DE PRIMEIRA ORDEM.
COSME DAMIAO BASTOS MASSI
Dissertação
- Autor
- COSME DAMIAO BASTOS MASSI
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- LOGICA E FILOSOFIA DA CIENCIA
- Grau
- MESTRADO
- Ano
- 1989
1989COSME DAMIAO BASTOS MASSI. NORMALIZACAO E NORMALIZACAO FORTE PARA A LOGICA CLASSICA DE PRIMEIRA ORDEM.. 1989. Dissertação (MESTRADO em LOGICA E FILOSOFIA DA CIENCIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP.1
NORMALIZACAO
Palavras-chave: