Problemas de uma semantica para a logica intuicionista de primeira ordem

Problemas de uma semantica para a logica intuicionista de primeira ordem

Jorge Alberto Molina

TESE

Português

T/UNICAMP M734p

Campinas, SP : [s.n.], 1992.

[175]f. : il.

Orientador : Carlos Alberto Lungarzo

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas

Resumo: Não informado

Abstract: Not informed.

Problemas de uma semantica para a logica intuicionista de primeira ordem

Jorge Alberto Molina


										

Problemas de uma semantica para a logica intuicionista de primeira ordem

Jorge Alberto Molina

    Exemplares