Information Theory, Inference and Learning Algorithms
David J. C. MacKay
C++ Primer Plus
Stephen Prata
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
Introduction to Algorithms, Third Edition
Thomas H. Cormen & Charles E. Leiserson & Ronald L. Rivest & Clifford Stein
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Proofs: A Long-Form Mathematics Textbook
Jay Cummings