Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética

Detalhes bibliográficos
Ano de defesa: 2017
Autor(a) principal: Almeida, Edgar Luis Bezerra de, 1976-
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://hdl.handle.net/20.500.12733/1632743
Resumo: Orientadores: Itala Maria Loffredo D'Ottaviano, Rodrigo de Alvarenga Freire