3 works on record
From Logic to Practice
Palgrave Companion to the Philosophy of Set Theory
Paradoxes Between Truth and Proof
