[Logica-l] Presença de mais um embaixador no congresso sobre o quadrado no Vaticano

2014-04-29 Por tôpico jean-yves beziau
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=om

Re: [Logica-l] Presença de mais um embaixador no congresso sobre o quadrado no Vaticano

2014-04-29 Por tôpico Walter Carnielli
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 escreveu: > Depois da participacao do Embaixador da Polonia no Vaticano > Piotr Nowina-Konopka > http://en.wikipedia.org/wiki/Piotr_Nowina-Konopka > n

[Logica-l] texto

2014-04-29 Por tôpico Abílio
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.