Re: [Logica-l] Qualis 2010: *periódicos* que publica m artigos na área de Lógica

2010-08-31 Por tôpico Joao Marcos
Olás: Sobre a planilha de periódicos, agradeço e replico brevemente, de forma inteiramente *pessoal*, os comentários de alguns colegas da lista. > Joao Marcos, muito obrigado ! Acho que a comunidade de lógicos do > Brasil espera que vc mantenha atualizacoes dessa lista nos próximos > anos, confor

[Logica-l] computação para a criação de um novo instituto dedicado à Teoria da Computa ção

2010-08-31 Por tôpico Joao Marcos
em algum lugar dos Estados Unidos, com uma verba razoável: http://blog.computationalcomplexity.org/2010/08/new-institute-for-theory-of-computing.html a iniciativa é da Simons Foundation, que financia pesquisa em ciência básica e matemática: https://simonsfoundation.org/funding-guidelines/current-f

Re: [Logica-l] Digest Logica-l, volume 54, assunto 33

2010-08-31 Por tôpico samuel
Olá Arthur, É o "Set Theory - An Introduction to Independence Proofs". A parte de ordinais está bem feitinha, aliás toda a parte de conjuntos bem ordenados e de isomorfismos de boas ordens. Até, []s Samuel Quoting logica-l-requ...@dimap.ufrn.br: > Enviar submissões para a lista de discuss

[Logica-l] últimas semanas - inscrições - Se minário dos Alunos do PPGLM

2010-08-31 Por tôpico rodrigo cid
Aprecia-se a divulgação. http://seminarioppglm.wordpress.com/ _ O Seminário dos Alunos do PPGLM foi criado em 2007 e terá, neste ano, sua quarta edição. O objetivo de nosso seminário é proporcionar um espaço onde estudantes de pós-graduação em filo