Texto do mini-curso - Lógica Intuicionista - 6/5/2009

Abaixo, link para o texto Sobre a lógica intuicionista, que será utilizado no mini-curso do dia 6/5.
http://filosofiaetc.sites.uol.com.br/intuicionismo.pdf
Esse texto será possivelmente publicado em um número especial sobre lógica da revista Filosofia, Ciência e Vida.