Caros colegas, como vocês traduziriam labelled systems? Pergunto porque há um livro do Gabbay intitulado Labelled Deductive Systems, em dois volumes, do qual só tenho o primeiro volume. Caso alguém possuir uma versão digital do segundo volume, estou interessado.
Att., Arthur Buchsbaum _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
