Busca avançada
Ano de início
Entree

Teoria formal da aritmetica e teoremas de imcompletude de godel.

Processo: 95/01207-8
Modalidade de apoio:Bolsas no Brasil - Iniciação Científica
Data de Início da vigência: 01 de julho de 1995
Data de Término da vigência: 31 de dezembro de 1995
Área de conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Jair Minoro Abe
Beneficiário:Daniel Smania Brandão
Instituição Sede: Instituto de Geociências e Ciências Exatas (IGCE). Universidade Estadual Paulista (UNESP). Campus de Rio Claro. Rio Claro , SP, Brasil
Palavra(s)-Chave do Pesquisador:Aritmetizacao De Teorias | Recursividade | Teoria Formal Da Aritmetica
Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)