Tesis
Problemas de uma semantica para a logica intuicionista de primeira ordem
Registro en:
Autor
Molina, Jorge Alberto
Institución
Resumen
Orientador : Carlos Alberto Lungarzo Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: Não informado Abstract: Not informed. Doutorado Doutor em Filosofia