1. Antonelli GA (2008) Logicism, quantifiers, and abstraction. http://orion.uci.edu/~aldo/papers/FONA.pdf . Cited 1 Sept 2008
2. Baez J (2008) Categorifying fundamental physics. http://math.ucr.edu/home/baez/diary/fqxi_narrative.pdf . Cited 1 Sept 2008
3. Baez JC, Dolan J (1998) Categorification. In: E Getzler, M Kapranov (eds) Higher category theory. Contemp. Math. 230, American Mathematical Society, Providence, Rhode Island, pp 1–36. arXiv:math/9802029v1 . Cited 1 Sept 2008
4. Barr M (1999) Functional set theory. ftp://ftp.math.mcgill.ca/pub/barr/pdffiles/varset.pdf . Cited 1 Sept 2008
5. Benacerraf P (1965) What numbers could not be. Philos Rev 74:47–73