Difference between revisions of "Logic of System language"