Anderson - Automata Theory with Modern Applications (Cambridge, 2006)
Barwise,Etchemendy - Language Proof And Logic
Bewersdorff - Luck, Logic and White Lies - Mathematics of Games (AKP, 2005)
Brookhart - Go Figure - Using Math to Solve Everyday Imponderables (McGraw, 1998)
Browne,Keeley - Asking the Right Questions, A Guide to Critical Thinking, 8th Ed
Cedarblom,Paulsen - Critical Reasoning 6e (Wadsworth, 2005)
Combinatorics 2nd ed. - R. Merris (2003)
Combinatorics - Topics, Techniques and Algorithms - P. Cameron
Computational Logic - Logic Programming and Beyond I - A. Kakas, F. Sadri (Springer, 2002)
Computational Logic - Logic Programming and Beyond II - A. Kakas, F. Sadri (Springer, 2002)
Concrete Mathematics - R. Graham, D. Knuth, O. Patashnik (1990)
Devlin - The Joy of Sets - Fundamentals of Contemporary Set Theory 2e (Springer, 1993)
Discrete and Combinatorial Mathematics - An Applied Introduction 5th ed - R. Grimaldi (Pearson, 2004)
Discrete Mathematics and Its Applications, 4th Ed - K. Rosen (1998)
Discrete Mathematics - J. Saxl (1995)
Discrete Mathematics - W. Chen (1982)
Discrete Mathematics - Yale Lecture Notes - L. Lovasz (1999)
Discrete Math in Computer Science - Bogart , Stein
Edmonds - How to Think about Algorithms (Cambridge, 2008)
Eiselt - Linear Programming and Its Applications (Springer, 2007)
Elementary Number Theory - Clark
Epstein - Critical Thinking 3e (Thomson, 2006)
Gentle - Matrix Algebra - Theory, Computations and Applications in Statistics (Springer, 2007)
Gibilisco - Math Proofs Demystified
Golumbic - Graph Theory, Combinatorics and Algorithms (Springer, 2005)
Hargreaves - Game Theory - Critical Introduction (Routledge, 1995)
How to Prove It - A Structured Approach 2nd ed - D. Velleman (Cambridge, 2006)
Hrbacek,Jech - Introduction to Set Theory 3rd Ed
Hurley - A Concise Introduction To Logic 7th Ed
Jungnickel - Graphs, Networks and Algorithms 3e (Springer, 2008)