책 이미지
eBook 미리보기
책 정보
· 제목 : Proof Theory: An Introduction (Paperback, 1989. 3rd Print)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540518426
· 쪽수 : 220쪽
· 출판일 : 1989-10-25
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540518426
· 쪽수 : 220쪽
· 출판일 : 1989-10-25
목차
Ordinal Analysis of Pure Number Theory.- The autonomous ordinal of the infinitary system Z? and the limits of predicativity.- Ordinal analysis of the formal theory for noniterated inductive definitions.
