Ferro, Alfredo profile picture

Ferro, Alfredo

Is this your author profile? Create an account to claim and customize it!

Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present