Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs (Classic Reprint) (Paperback)
Decision Procedures for Elementary Sublanguages of Set Theory: XVI. Multilevel Syllogistic Extended by Singleton, Rank Comparison and Unary Intersecti (Paperback)
Decision Procedures for Elementary Sublanguages of Set Theory; Vi; Multi-Level Syllogistic Extended by the Powerset Operator (Classic Reprint) (Paperback)
Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators (Classic Rep (Paperback)