- What is Mathematical Logic?
- Combinatorial functors (Ergebnisse der Mathematik und ihrer Grenzgebiete)
- The Emergence of Number
- Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic (PCS))
- Hernando de los Ríos Coronel and the Spanish Philippines in the Golden Age









