A Mathematical Prelude to the Philosophy of Mathematics - Stephen Pollard (Springer International Publishing, 2014)