Universality in Set Theories: A Study in Formal Ontology
Machines, Computations, and Universality: 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected ... Notes in Computer Science, 3354, Band 3354)