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
Nº de exemplares: 3
Não existem reservas para esta obra