Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators

Cite this paper

@article{Cantone2002FormativePW, title={Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators}, author={Domenico Cantone and Pietro Ursino and Eugenio G. Omodeo}, journal={Inf. Comput.}, year={2002}, volume={172}, pages={165-201} }