Boolos - On Second Order Logic
Philosophy of Mathematics Benacerraf Putnam)
Gottlob Frege - The Foundations of Arithmetic
Problems of Rationality David Son)