Most Popular Books
- Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
- Decision Algorithms for Some Fragments of Analysis and Related Areas
- Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
- Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs
