Difference between revisions of "Logic of classical language"