Re: [Logica-l] Presença de mais um embaixador no congresso sobre o quadrado no Vaticano
Que belo! Vamos levar a Lógica ao Conselho de Segurança da ONU (nem que eles não precisem...) Em 29 de abril de 2014 12:05, jean-yves beziau beziau...@gmail.com escreveu: Depois da participacao do Embaixador da Polonia no Vaticano Piotr Nowina-Konopka http://en.wikipedia.org/wiki/Piotr_Nowina-Konopka no nosso evento sobre o quadrado das oposicoes recebemos a confirmacao da presença do Embaixador da França no Vaticano Bruno Joubert https://www.youtube.com/watch?v=om2Y-Z-OJhs A presença desses embaixadores e o fato que eles oferecem coqueteis aos participantes do SQUARE 2014 nas respectivas Embaixadas me parece muito importante para fazer melhor conhecer a logica - nossos eventos sobre o quadrado promovendo a logica em todos os seus aspectos. No congresso anterior, em Beirut, no Libano, foram oferecidas coqueteis pela Embaixadora da Suiça no Libano, Ruth Flint assim que pelo Embaixador do Brasil no Libano Paulo Roberto Campos Tarrisse da Fontoura qui ficou feliz de saber que a lógica é um disciplina muito desenvolvida no Brasil Jean-Yves ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] texto
Carissimos Por acaso alguem teria o txt abaixo em pdf? Abraços Abilio Negation and separation of concepts in constructive systems, in A. Heyting, editor, Constructivity in Mathematics, Proceedings of the Colloquium held in Amsterdam, NL, 1957, Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 1959. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l