Busca avançada
Ano de início
Entree

On semantic for first order infinitary relational languages.

Processo: 07/53751-2
Modalidade de apoio:Auxílio à Pesquisa - Reunião - Exterior
Data de Início da vigência: 09 de agosto de 2007
Data de Término da vigência: 22 de agosto de 2007
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Edelcio Gonçalves de Souza
Beneficiário:Edelcio Gonçalves de Souza
Instituição Sede: Faculdade de Comunicação e Filosofia. Pontifícia Universidade Católica de São Paulo (PUC-SP). São Paulo , SP, Brasil
Assunto(s):Partições  Linguagens infinitárias  Topologia 
Palavra(s)-Chave do Pesquisador:Definibilidade | Linguagens Infinitarias | Operadores De Consequencia | Particoes | Teoria De Modelos | Topologia
Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)