책 이미지
책 정보
· 제목 : Metamathematics of First-Order Arithmetic (Hardcover) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 수학사/수학 철학
· ISBN : 9781107168411
· 쪽수 : 474쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 수학사/수학 철학
· ISBN : 9781107168411
· 쪽수 : 474쪽
목차
Introduction; Preliminaries; Part I: 1. Arithmetic as number theory, set theory and logic; 2. Fragments and combinatorics; Part II: 3. Self-reference; 4. Models of fragments of arithmetic; Part III: 5. Bounded arithmetic; Bibliographical remarks and further reading; Bibliography; Index of terms; Index of symbols.
추천도서
분야의 베스트셀러 >