- The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks)
- One Hundred Years Of Russell's Paradox: Mathematics, Logic, Philosophy (De Gruyter Series in Logic and Its Applications)
- 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











