Alguem conhece codificações baseadas em funções recursivas parciais? Usando o fato de seu contradomínio ser produtivo?
-- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l