Carregando...
Instituto de Matemática (IM)

Axiomas Aritméticos para Conjuntos Hereditariamente Finitos

Título: Axiomas Aritméticos para Conjuntos Hereditariamente Finitos

Modalidade de participação: Pesquisa

Centro:Centro de Ciencias Matematicas e da Natureza

Autores: VITOR MAZAL KRAUSS (1)

Orientador: MARCIA ROSANA CERIOLI (1) , JORGE PETRUCIO VIANA (2)

Palavras-chave: Conjuntos Hereditariamente Finitos Sistemas de Axiomas Definições Recursivas Categoricidade

Deixe uma resposta