부분 결과서지만 확인
Polynomial Size Proofs of the Propositional Pigeonhole PrincipleS. R. Buss · 1987Journal of Symbolic Logic 52(4), 916–927쪽 (1987)비둘기집 원리가 프레게 체계에서는 다항 크기 증명을 가짐을 보인 논문이다. 비둘기집 원리가 프레게 체계에서는 어려운 예가 아니라는 뜻으로, 2-3 의 증명 복잡도 글이 체계별 하한 표에서 인용한다.
확인:학술지 페이지의 초록까지 확인. 본문을 읽었다는 기록은 없음.