The Search for Certainty A Philosophical Account of Foundations of Mathematics
The Search for Certainty is a superb synoptic account of the intense and fruitful work that went into clarifying the foundations of mathematics ... It fills the gap in the literature that Giaquinto reports to have noticed when a student of logic, and it does so in an excellent manner.