책 이미지
책 정보
· 제목 : General Recursion Theory : An Axiomatic Approach (Hardcover) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781107168169
· 쪽수 : 237쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781107168169
· 쪽수 : 237쪽
목차
Pons Asinorum; On the choice of correct notations for general theory; Part I. General Theory: 1. General theory: combinatorial part; 2. General theory: subcomputations; Part II. Finite Theories: 3. Finite theories on one type; 4. Finite theories on two types; Part III. Infinite Theories: 5. Admissible prewellorderings; 6. Degree structure; Part IV. Higher Types: 7. Computations over two types; 8. Set recursion and higher types; References; Notation; Author index; Subject index.
저자소개
추천도서
분야의 베스트셀러 >