책 이미지
책 정보
· 제목 : Logic, Induction and Sets (Paperback) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 수학사/수학 철학
· ISBN : 9780521533614
· 쪽수 : 246쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 수학사/수학 철학
· ISBN : 9780521533614
· 쪽수 : 246쪽
목차
1. Definitions and notations; 2. Recursive datatypes; 3. Partially ordered sets; 4. Propositional calculus; 5. Predicate calculus; 6. Computable functions; 7. Ordinals; 8. Set theory; 9. Answers to selected questions.
저자소개
추천도서
분야의 베스트셀러 >