Decision-Procedures-for-Elementary-Sublanguages-of-Set-Theory-XI-Multilevel-Syllogistic-Extended-by-Some-Elementary-Map-Constructs 19,23 EUR*