A mathematical prelude to the philosophy of mathematics - Pollard, Stephen (Springer, 2014)