[ 第一章 Formal Logic ]

[第二章 Proofs,Recursion,and Analysis of Algorithms ]

[ 第三章 Sets and Combinatiorics]

[ 第四章 Relations,Functions,and Matrices ]

[ 第五章 Graphs and Trees ]

[第六章 Graph Algorithms ]

[ 第七章 Boolean Algebra and Computer logic]

[ 第八章ModelingAritmetic,Computation,and Languages ]