> > Acho interessante, entretanto, a discussão levantada pelo Walter. Eu > tenho muita dificuldade em traduzir alguns termos, então simplesmente > não o faço. Um exemplo é deep inference... >
"Inferência profunda" não lhe parece adequado? Haveria alguma alternativa interessante? Abraços, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l