Decision Procedures for Elementary Sublanguages of Set Theory. XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs

Bok av D. Cantone J. Schwartz