책 이미지
책 정보
· 제목 : Ordinal Analysis with an Introduction to Proof Theory (Hardcover) 
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9789811564581
· 쪽수 : 313쪽
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9789811564581
· 쪽수 : 313쪽
목차
Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.
저자소개
추천도서
분야의 베스트셀러 >