"Sets and Extensions in the Twentieth Century"

Dov M. Gabbay, Akihiro Kanamori, John Woods (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics