Kac - Mathematics and Logic (Britannica, 1968)
Koerner - Naive Decision Making (Cambridge, 2008)
Lipschutz - Outline of Beginning Finite Mathematics (Schaum Outline, 2005)
Logic in Computer Science 2nd ed - M. Huth, M. Ryan (Cambridge, 2004)
Luenberger - Linear and Nonlinear Programming 3e (Springer, 2008)
Manin,Panchishkin - Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories 2e
Matousek - Invitation to Discrete Mathematics (Oxford, 1998)
Matousek - Understanding and Using Linear Programming
McInerny - Being Logical - A Guide To Good Thinking
Morash - Bridge to Abstract Math - Mathematical Proof and Structures 1st Ed
Morelos - The Art of Error Correcting Coding (Wiley, 2002)
Nisan - Algorithmic Game Theory (Cambridge, 2007)
Papadimitriou - Computational Complexity (AW, 1994)
Proof and Disproof in Formal Logic - An Introduction for Programmers - R. Bornat (Oxford, 2005)
Proof And Knowledge In Mathematics - M. Detlefsen (Routledge, 1992)
Schaum's Outline of Discrete Mathematics
Schuh - Master Book of Mathematical Puzzles and Recreations (Dover, 1968)
Sets, Functions and Logic - An Intro to Abstract Mathematics 3rd ed - K. Devlin (CRC, 2004)
Shu-Lin - Error Control Coding - Fundamentals and Applications (Prentice, 1983)
Sipser - Introduction to the Theory of Computation 2e (Thomson, 2006)
The Nuts and Bolts of Proofs 3rd ed - A. Cupillari (Elsevier, 2005)
The Proof Is in the Pudding - The Changing Nature of Mathematical Proof - S. Krantz (2007)
Zegarelli - Logic for Dummies (Wiley, 2007)