Proofs and Refutations: The Logic of Mathematical Discovery

The Lakatos book is a great introduction to mathematical thinking in that it shows the importance of definitions - how even simple definitions are malleable and can be changed to properly handle special cases. All the details are discussed in human-readable prose without formulas more complicated than simple addition.