O artigo dos nossos colegas do IST de Lisboa A.Sernadas, C.Sernadas, J.Rasga apresentando uma nova tecnica poderosa para combinar logicas esta disponivel no site da revista Logica Universalis (accesso CAPES):
http://www.springerlink.com/content/87908463l130n42n/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
