1. Structure in mathematics and logic: a categorical perspective;Awodey;Philos. Math.,1996
2. Structuralism, invariance, and univalence;Awodey;Philos. Math.,2014
3. Mathematical truth;Benacerraf;J. Philos.,1973
4. A single axiom for set theory;Bennett;Notre Dame J. Form. Log.,2000
5. Éléments de mathématique: Théorie des ensembles, vol. 1;Bourbaki,1970