Mais dois textos em português sobre intuicionismo.
http://dl.dropbox.com/u/5959592/dacosta_intuicionismo.pdf
http://dl.dropbox.com/u/5959592/jairo_construtivismo.pdf
segunda-feira, 17 de maio de 2010
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
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
Assinar:
Postagens (Atom)