"2"^^ . . . . . . . . "lógica combinatória"@pt .