Please enable javascript to use dictionary! Howto enable javascript?
formal system▼(combination of formal language and inference rules)noun
↑