교과서서지만 확인
Bounded Arithmetic, Propositional Logic and Complexity TheoryJan Krajíček · 1995Cambridge University Press, 1995 (ISBN 978-0-521-45205-2)유계 산술, 명제 증명 체계, 회로 복잡도를 한 틀로 묶어 다룬 단행본이다. 증명 복잡도를 논리 쪽에서 체계적으로 배우려는 대학원생·연구자를 위한 책으로 알려져 있다. 같은 저자의 짧은 개관은 krajicek-2005 다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·출판사·연도·ISBN 을 확인했다(본문은 열지 못함).