Re: [Logica-l] Heyting

2016-12-17 Por tôpico bruninha_elisabeth
Obrigada pelas dicas! Já baixei os livros. Boa noite. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar nest

[Logica-l] 4th Summer School on Mathematical Philosophy for Female Students 2017

2016-12-17 Por tôpico Joao Marcos
Idea and Motivation The Munich Center for Mathematical Philosophy (MCMP) is organizing the fourth Summer School on Mathematical Philosophy for Female Students, which will be held from July 30 to August 5, 2017 in Munich, Germany. The summer school is open to excellent female students who want to s

Re: [Logica-l] Heyting

2016-12-17 Por tôpico Carlos Gonzalez
Olá Bruna, Eu não sei quase nada do assunto, mas vou dar um palpite: Que tal dar uma olhada no artigo de TROELSTRA no Handbook of Mahematical Logic de Barwise (ed.) para ter um panorama de algumas questões relacionadas? Se pessoal da lista achar que não é conveniente, por favor falem. Carlos p.