. "Sistemas formales"@es . "Formal systems"@en . "Syst\u00E8mes formels"@fr . . "1102.05" . .