Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is presentby Alfredo FerroWriting a summary for young readers…For young readersBook data: Open Library