Decision Procedures for Elementary Sublanguages of Set Theory; Vi; Multi-Level Syllogistic Extended by the Powerset Operator (Classic Reprint)/fr-ca/decision-procedures-for-elementary-sublanguages-of-set-theory%3B-vi%3B-multi-level-syllogistic-extended-by-the-powerset-operator-classic-reprint/F2CBE3CC-94A8-4943-9980-60006BE4D874.htmlF2CBE3CC-94A8-4943-9980-60006BE4D874
Decision Procedures for Elementary Sublanguages of Set Theory; Vi; Multi-Level Syllogistic Extended by the Powerset Operator (Classic Reprint)