Número de referência 3.16 Número 11 Especificação Alves, Elias Humberto. O descritor em lógica modal. Doutorado, 1973, PUC/SP. Quantidade 2mf