Artigo - Lógica Intuicionista

Olá para todos.
No link abaixo está o artigo introdutório sobre lógica intuicionista que será possivelmente publicado em 2009.
http://filosofiaetc.sites.uol.com.br/log_intuicionista.pdf
Leitura recomendada para os interessados em lógica, matemática ou que pretendem fazer a disciplina eletiva Lógica II em 2009.1.
Abraços