1. Benacerraf P, Putnam H (eds) (1964) Philosophy of mathematics. Prentice Hall, New Jersey
2. Dauben JW (1995) Abraham Robinson. Princeton University Press, Princeton
3. Dawson JW (1997) Logical dilemmas. A. K. Peters, Wellesley
4. Feferman S et al (eds) (1990) Kurt Gödel collection works, vol 2. Oxford University Press, New York
5. Feferman S et al (eds) (1995) Kurt Gödel collection works, vol 3. Oxford University Press, New York