Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs by Cantone, D | Menrva Books