Relatórios
10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Giovanni Sambin: 2 principles of dynamic constructivism; Brouwer's principle of continuity and choice sequences in formal topology / Mitsu Okada: Intuitionistic logic and linear logic