Normalização e normalização forte para a logica classica de primeira ordem
Cosme Damião Bastos Massi
DISSERTAÇÃO
Português
T/UNICAMP M385n
Campinas, SP : [s.n.], 1988.
109f.
Orientador : Luiz Carlos P. D. Pereira
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Resumo: Não informado.
Abstract: Not informed.
Normalização e normalização forte para a logica classica de primeira ordem
Cosme Damião Bastos Massi
Normalização e normalização forte para a logica classica de primeira ordem
Cosme Damião Bastos Massi
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra