Decision Procedures for Elementary Sublanguages of Set Theory. VII. Validity in Set Theory When a Choice Operator Is Present

Bok av Department of Mathematics Alfredo Ferro