The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based (Q1248616)

From MaRDI portal





scientific article; zbMATH DE number 3595156
Language Label Description Also known as
default for all languages
No label defined
    English
    The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based
    scientific article; zbMATH DE number 3595156

      Statements

      The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based (English)
      0 references
      0 references
      1978
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references