How to Prove It: A Structured Approach
Daniel J. Velleman
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Computational Methods for Electromagnetic Inverse Scattering
Xudong Chen
Pattern Recognition and Machine Learning
Christopher M. Bishop
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)