| Nome Projeto: | O SIGNIFICADO DAS SENTENCAS ARITMETICAS, A DEFINIBILIDADE CONJUNTISTA E O PAPEL DA TEORIA DAS CATEGORIAS NA SEMANTICA DE SISTEMAS LOGICOS |
|
| Tipo Projeto: | Pesquisa Básica |
| | Situação Projeto: | Em Andamento |
|
| Data Início Projeto: | 10/2009 |
| |
| Tipo Envolvimento Contrato: | Individual |
|
| Descrição Projeto: | O SIGNIFICADO DAS SENTENCAS ARITMETICAS, A DEFINIBILIDADE CONJUNTISTA E O PAPEL DA TEORIA DAS CATEGORIAS NA SEMANTICA DE SISTEMAS LOGICOS |
|
| Instituições | | Nome: | | Fundação de Amparo à Pesquisa do Estado de São Paulo |
|
| Tipo do Financiamento: | Bolsa Pos doutorado no país PD |
|
| Nº Processo na Financiadora: | 2009/10751-8 |
| | Data Início Financiamento: | 10/2009 |
|
| Data Fim Financiamento: | 09/2012 |
| | Valor do Financiamento: | R$ 196.016,57 |
|
| Complemento do Tipo Financiamento: | BOLSA NO PAIS-PD |
|
|
|
| Órgãos | | CLE - CENTRO DE LOGICA,EPISTEMOLOGIA E HISTORIA DA CIENCIA [24.00.00.00.00.00.00] |
|
| Equipes Projeto | | Rodrigo de Alvarenga Freire( Responsável ) |
|
|
