책 이미지
eBook 미리보기
책 정보
· 제목 : Mathematical Logic with Special Reference to the Natural Numbers (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521090582
· 쪽수 : 656쪽
· 출판일 : 2008-11-27
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521090582
· 쪽수 : 656쪽
· 출판일 : 2008-11-27
목차
1. Formal Systems; 2. Propositional calculi; 3. Predicate calculi; 4. A complete, decidable arithmetic; 5. Aoo -Definable functions; 6. A complete, undecidable arithmetic; 7. Ao- Definable functions; 8. An incomplete undecidable arithmetic; 9. A-Definable sets of lattice points; 10. Induction.
