"3"^^ . . . . . . . . "sistema de lógica formal"@es .