옮긴이 서문 ... ⅸ
지은이 한국어판 서문 ... ⅹⅲ
지은이 초판 서문 ... ⅹⅴ
지은이 3판 서문 ... ⅹⅶ
1 열거가능성 ... 1
2 대각화 ... 14
3 튜링 기계 ... 25
4 바쁜 해리의 문제를 통한 계산불가능성 ... 43
5 대각화를 통한 계산불가능성 ... 54
6 주판 계산가능한 함수는 튜링 계산가능하다 ... 65
7 회귀 함수는 주판 계산가능하다 ... 87
8 튜링 계산가능한 함수는 회귀 함수이다 ... 112
9 1차 논리학에 대한 재고찰 ... 120
10 일차 논리는 결정불가능하다 ... 142
11 형식화된 일차 논리: 도출과 건전성 ... 157
12 형식화된 일차 논리의 완전성과 조밀성 ... 169
13 스콜렘-뢰벤하임 정리 ... 188
14 Q에서의 표시가능성 ... 199
15 결정불가능성, 정의불가능성 그리소 불완전성 ... 215
16 증명가능성 술어 그리고 일관성의 증명불가능성 ... 229
17 산수의 비표준적 모형들 ... 240
18 이차 논리 ... 247
19 산수의 참을 정의하는 것에 관하여 ... 260
20 산수의 정의 가능성과 강요 ... 266
21 덧셈은 있으나 곱셈은 없는 산수의 결정가능성 ... 275
22 이항 논리는 결정불가능하다: 이름과 함수기호 '없애기' ... 285
23 크레이그 내삽 보조 정리 ... 292
24 크레이그 보조정리의 응용 두 가지 ... 303
25 일항 논리 대 이항 논리 ... 312
26 램지의 논리 ... 324
27 양상논리적으로 생각해 본 증명가능성 ... 333
28 결정불가능한 문장들 ... 354
29 Z의 비표준적 모형은 회귀적이지 않다 ... 363
찾아보기 ... 373