Proofs and Refutations: The Logic of Mathematical Discovery by Imre Lakatos: The sequence of steps through which mathematical ideas can be made to grow in an informal setting is explained through Socratic dialogues between a teacher and students. A beautiful read.