Full operational set theory with unbounded existential quantification and power set

Jäger, Gerhard MaxGerhard MaxJäger2024-10-142024-10-142009https://boris-portal.unibe.ch/handle/20.500.12422/110410en000 - Computer science, knowledge & systems500 - Science::510 - MathematicsFull operational set theory with unbounded existential quantification and power setarticle10.1016/j.apal.2009.01.010