Discrete Structures, Logic, and Computability / Third Edition 

 - 3rd 
 -  Jones And Bartlett Learning,  2010 
 - 1020 
<br/><br/> This book provides elementary introductions to those ideas and techniques that are necessary to understand and practice the art and science of computing.   Elementary Notions and Notations, Construction Functions, Equivalence and Order and Inductive Proof, Analysis Techniques, Elementary Logic, Predicate Logic, Applied Logic, computational Logic, Algebraic Structures and Techniques, Context-Free Languages and Pushdown Automata, Turing Machines and Equivalent Models, Computational Notions, Index. 
<br/><br/><label>ISBN: </label>9780763772062