Department of Mathematics Alfredo Ferro

1 book

Aug 22, 2011
Cover of Decision Procedures for Elementary Sublanguages of Set Theory. VII. Validity in Set Theory When a Choice Operator Is Present

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