- Concise Routledge Encyclopedia of Philosophy
- The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks)
- Foundational Theories of Classical and Constructive Mathematics
- Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science)
- Castaneda and His Guises: Essays on the Work of Hector-Neri Castaneda