[1장] 수학적 논리(Mathematical Logic)
1-1 명제(proposition)
1-2 논리 연산자(logical operator)
1-3 서술 논리(predicate calculus)
1-4 추론에 대한 이론(theory of inference)

[2장] 집합(Set)
2-1 집합 연산(set operation)
2-2 멱집합(power set)과 카테션 곱(cartesian product)
2-3 귀납법(induction)

[3장] 관계(Relation)
3-1 관계(relation)
3-2 이항 관계(binary relation)
3-3 이항 관계의 합성(composition)
3-4 분할(partition)과 커버링(covering)
3-5 동치 관계(equivalence relation)
3-6 순서 관계(ordering relation)

[4장] 함수(Function)
4-1 함수(function)
4-2 기수(cardinality)
4-3 개수 세기(counting)

[5장] 대수계(Algebraic System)
5-1 대수계의 정의와 예
5-2 간단한 대수계와 일반적 성질
5-3 여러 가지 대수계
5-4 준동형 사상(homomorphism)
5-5 합동 관계(congruence relation)

[6장] 격자(Lattice)
6-1 부분 순서 집합으로서의 격자
6-2 격자의 성질
6-3 대수계로서의 격자
6-4 부분 격자,ㅡ 직적 그리고 준동형 사상
6-5 여러 가지 격자

[7장] 부울 대수(Boolean Algebra)
7-1 부울 대수의 정의
7-2 Stone의 표현 정리(Stone's representation theorem)
7-3 부울 함수(Boolean function)

[8장]프로그램 평가(Program Evaluation)
8-1 프로그램 정확성(program correctness)
8-2 함수의 점근성(asymptotic behavior of functions)
8-3 프로그램 분석(program analysis)

[찾아보기]