In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory. He explains concepts and results of recursion theory in intuitive terms, and reaches the limitative results of Skolem, Tarski, Church and G?el (the celebrated incompleteness theorems). For students of mathematics and philosophy, this book provides an excellent introduction to logic and set theory.

Mathematical induction; 1. Sets and classes; 2. Relations and functions; 3. Cardinals; 4. Ordinals; 5. The axiom of choice; 6. Finite cardinals and alephs; 7. Propositional logic; 8. First order logic; 9. Facts from recursion theory; 10. Limitative results; Appendix: Skolem's Paradox Author index General index

등록된 사용후기

사용후기 쓰기 새 창 더보기

사용후기가 없습니다.

등록된 상품문의

상품문의 쓰기새 창 더보기

상품문의가 없습니다.

배송정보

교환/반품 정보