Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
More Effective C++：35个改善编程与设计的有效方法
Scott Meyers
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult