Discrete Mathematics in Computer Science 

 -  Prentice Hall Inc,  1977 
 - 404 
<br/><br/> Preface, Notations, Mathematical Models, Mathematical Reasoning, Sets, Binary Relations, Functions, Counting and Algorithm Analysis, Infinite Sets, Algebras, Appendix: The Programming Language, Answers to Selected Exercises, Bibliography, Index. 
<br/><br/><label>ISBN: </label>132161508