개관원문 확인
Proof ComplexityJ. Krajíček · 2005Proceedings of the 4th European Congress of Mathematics (Stockholm 2004), European Mathematical Society, 221–231쪽 (2005)증명 복잡도 분야를 소개한 유럽 수학자 대회(2004) 논문집의 글이다. 2-3 의 증명 복잡도 글이 분야의 틀을 정리하는 데 썼다. 저자 누리집의 공개본으로 연결한다.
확인:저자 공개본을 열어 머리말과 §2 를 읽음.원문 주소 (www.karlin.mff.cuni.cz)이 카드를 붙인 자료 1