접근서지만 확인
Bounded ArithmeticSamuel R. Buss · 1986Bibliopolis, Naples, 1986 (1985년 프린스턴 대학교 박사 학위 논문의 개정판)귀납법을 길이가 제한된 식에만 허용하는 약한 산술 이론들을 세우고 다항 위계와 맞댄 책으로 널리 인용된다. 「P ≠ NP 를 증명하려면 얼마나 강한 공리가 필요한가」를 묻는 연구의 표준 틀이 여기서 나왔다고 알려져 있다. 2-3 의 증명 복잡도 접근과 2-2 의 독립성 논의를 논리 쪽에서 따라가려는 독자에게 필요하다.
확인:저자 누리집의 해당 페이지에서 제목·출판사·연도와 「1985년 박사 학위 논문의 개정판」이라는 설명을 확인했다(페이지에 전문 PDF 가 걸려 있으나 본문은 읽지 않음).