Email Address * *
Name
Subject *
Message * Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present - 1175817511 - 9781175817518