Omodeo, E profile picture

Omodeo, E

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