Set Theory and Nominalization, Part I

FAIROUZ KAMAREDDINE
1992 Journal of Logic and Computation  
doi:10.1093/logcom/2.5.579 fatcat:mrzvivrh4jcs3kvsg2f2z2dx5y