Mathematical Structures For Computer Science.pdf

Sorry, not my torrent, but I didn't find it on KAT, so I thought I'd share.
It's a scan, but very clear and readable.


Book Description
Publication Date: July 7, 2006 | ISBN-10: 071676864X | ISBN-13: 978-0716768647 | Edition: Sixth Edition


Chapters
01 - Formal Logic
02 - Proofs, Recursion, and Analysis of Algorithms
03 - Sets, Combinatorics, Probability, and Number Theory
04 - Relations, Functions, and Matrices
05 - Graphs and Trees
06 - Graph Algorithms
07 - Boolean Algebra and Computer Logic
08 - Modelling Arithmetic, Computation, and Languages