1장 수학적 논리(Mathematical Logic) ... 9
 1-1 명제 ... 9
 1-2 연결사 ... 10
  1-2-1 부정 ... 11
  1-2-2 논리곱 ... 11
  1-2-3 논리합과 베타적 논리합 ... 12
  1-2-4 조건문과 쌍조건문 ... 12
  1-2-5 진리표 ... 14
  1-2-6 체계화된 공식 ... 14
  1-2-7 항진 명제와 모순 명제 ... 15
  1-2-8 동치 명제 ... 18
  1-2-9 쌍대 법칙 ... 20
  1-2-10 항진적 함축 ... 22
 1-3 술어 논리 ... 24
 1-4 추론에 대한 이론 ... 35
  1-4-1 진리표를 이용한 타당성 ... 35
  1-4-2 추론 규칙 ... 36
  1-4-3 가정의 일치와 간접 증명법 ... 39
  1-4-4 한전사를 포함한 논리식의 추론 규칙 ... 40
  1-4-5 증명 기법 ... 42
 연습 문제 ... 51
2장 집합(Sets) ... 57
 2-1 서론 ... 57
 2-2 집합 연산 ... 57
 2-3 멱집합과 카테션 곱 ... 69
 2-4 귀납법 ... 73
 연습 문제 ... 78
3장 관계(Relation) ... 81
 3-1 서론 ... 81
 3-2 이항 관계 ... 83
 3-3 분할과 커버링 ... 91
 3-4 동치 관계 ... 93
 3-5 이항 관계의 합성 ... 99
 연습 문제 ... 103
4장 순서 관계(Ordering Relation) ... 107
 4-1 부분 순서 ... 107
 4-2 함수 ... 114
 4-3 기수 ... 120
 연습 문제 ... 125
5장 대수계(Algebraic System) ... 127
 5-1 대수계의 정의와 예 ... 127
 5-2 간단한 대수계와 일반적 성질 ... 130
 5-3 여러 가지 대수계 ... 132
  5-3-1 반군 ... 132
  5-3-2 단위 반군 ... 134
  5-3-3 군 ... 135
  5-3-4 부울 대수 ... 137
 5-4 준동형 사상 ... 138
 5-5 합동 관계 ... 144
 연습 문제 ... 153
6장 격자(Lattice) ... 159
 6-1 서론 ... 159
 6-2 부분 순서 집합으로서의 격자 ... 159
 6-3 격자의 성질 ... 162
 6-4 대수계로서의 격자 ... 165
 6-5 부분 격자, 직적 그리고 준동형 사상 ... 167
 6-6 여러 가지 격자 ... 172
 연습 문제 ... 178
7장 부울 대수(Boolean Algebra) ... 181
 7-1 부울 대수의 정의 ... 181
 7-2 Stone의 표현 정리 ... 190
 7-3 부울 함수 ... 194
  7-3-1 자유 부울 대수 ... 194
  7-3-2 부울식의 값과 함수 ... 197
 연습 문제 ... 200
찾아보기 ... 203