1. Boolos G. (1987). The consistency of Frege’s Foundations of arithmetic. In: Thompson J.J. (eds) On being and saying: Essays for Richard Cartwright. Cambridge, Massachusetts: The MIT Press, pp 3–20, reprinted in Boolos (1998), 183–201, and Demopoulos (1995), 211–233.
2. Boolos G. (1997). Is Hume’s principle analytic? In: Heck R. Jr. (eds) Language, thought, and logic. Oxford University Press, Oxford, pp 245–261, reprinted in Boolos (1998), 301–314.
3. Boolos G. (1998). Logic, logic, and logic. Harvard University Press, Cambridge
4. Coffa A. (1991). The semantic tradition from Kant to Carnap. Cambridge University Press, Cambridge
5. Corcoran J., Frank W., Maloney M. (1974). String theory. Journal of Symbolic Logic 39: 625–637