Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
According to PR-model, Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions is ranked 30,368th in multilingual Wikipedia, in particular this website is ranked 49,496th in English Wikipedia.