책 이미지
책 정보
· 제목 : Recursion-Theoretic Hierarchies (Hardcover) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781107168244
· 쪽수 : 492쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781107168244
· 쪽수 : 492쪽
목차
Introduction; Part I. Basic Notations of Definability: 1. Groundwork; 2. Ordinary recursion theory; 3. Hierarchies and definability; Part II. The Analytical and Projective Hierarchies: 4. The first level; 5. Δ^1_2 and beyond; Part III. Generalized Recursion Theories: 6. Recursion in a type-2 functional; 7. Recursion in a type-3 functional; 8. Recursion on ordinals; Epilogue; References; Global notational conventions; Special notations; Index.
저자소개
추천도서
분야의 베스트셀러 >