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

Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo. Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. Inf. Comput., 172(2):165-201, 2002. [doi]

Bibliographies