domingo, 16 de maio de 2010

Lógica Intuicionista

Olá para todos.
No link
http://dl.dropbox.com/u/5959592/intuicionismo_2010.pdf
o texto introdutório sobre lógica intuicionista.
Falaremos disso novamente no próximo encontro, segunda 17/5.
Abraços