Obrigado pelas dicas!!! Arrumei bastante material para trabalhar! Estou tentando fazer umas apostilas com o material que vcs recomendaram. Depois conto como foi a experiência...(lembrar que estou trabalhando com matemáticos e eles têm dificultade de "demonstrar formalmente" que x implica x! É óbvio para eles! Até mais.
Víctor Fernández _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
