3 works on record
Proof and the Art of Mathematics
Effective Mathematics of the Uncountable
2013
Lectures on the Philosophy of Mathematics
