Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs

Bok av D. Cantone Cutello Cutello A. Ferro