Also, the initial dialog in _Proofs and Refutations_ by Imre Lakatos is a nice discussion not only of proofs, but on thought processes that one often goes through during mathematical research.