Normalização e normalização forte para a logica classica de primeira ordem

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