교과서서지만 확인
Descriptive ComplexityNeil Immerman · 1999Springer New York, 1999복잡도 클래스를 「그 문제를 적는 데 필요한 논리의 표현력」으로 규정하는 서술 복잡도 이론의 교재다. NP 는 존재 2차 논리로, 순서가 있는 구조 위의 P 는 고정점 논리로 적힌다는 식의 대응을 체계적으로 다루는 책으로 알려져 있다. P 대 NP 를 기계 없이 논리의 말로 바꿔 생각해 보려는 독자에게 맞다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·출판사·연도를 확인했다(본문은 열지 못함).