1. Benci, V., & Di Nasso, M. (2003). Numerosities of labelled sets: A new way of counting. Advances in Mathematics, 173, 50–67.
2. Boolos, G. (1975). On second-order logic. In Boolos (1998) (pp. 37–53), first published in The Journal of Philosophy, 72, 509–527.
3. Boolos, G. (1996). On the proof of Frege’s theorem. In Boolos (1998) (pp. 275–290), first published in Benacerraf and his critics (pp. 143–159). Cambridge, MA: Blackwell (1996).
4. Boolos, G. (1997). Is Hume’s principle analytic? In R. Jeffrey (Ed.), Logic, logic and logic. Cambridge, MA: Harvard University Press.
5. Boolos, G. (1998). Logic, logic, and logic. Cambridge, MA: Havard University Press.