Gostaria de informar que meu site foi atualizado.
Endereços antigos
Samir (2006)
Samir (2009)
Site atualizado: Samir (2010)
Alguns Textos
Blig Azul
Alternativas à lógica clássica: intuicionismo e paraconsistência
-
Foi na primeira metade do século XX que a lógica clássica se estabeleceu
como o tratamento padrão da consequência lógica. Mas foi também no século
XX que ...
Há 7 anos
