Texto Kolmogorov e encontro da próxima quinta

Olá para todos.

Para quem estiver interessado, na próxima quinta-feira às 17h faremos um revisão do que já foi visto em sistemas axiomáticos e dedução natural. 

O horário das 18h fica mantido

Abaixo, um pdf do texto do Kolmogorov sobre o terceiro excluído.
http://dl.dropbox.com/u/5959592/kolmogorov_excluded_middle_heijnoort.pdf

Abraços