 BROWSE
 USED
 STAFF PICKS
 GIFTS + GIFT CARDS
 SELL BOOKS
 BLOG
 EVENTS
 FIND A STORE
 800.878.7323

$29.95
New Trade Paper
Ships in 1 to 3 days
Other titles in the Dover Books on Mathematics series:
Topoi: The Categorial Analysis of Logicby Robert Goldblatt
Synopses & ReviewsPublisher Comments:A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally. Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of setmembership. The introduction to topos structure covers topos logic, algebra of subobjects, and intuitionism and its logic, advancing to the concept of functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry. Synopsis:A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Table of Contents1. Mathematics = Set Theory?
2. What Categories Are 3. Arrows Instead of Epsilon 4. Introducing Topoi 5. Topos Structure: First Steps 6. Logic Classically Conceived 7. Algebra of Subobjects 8. Institutionism and Its Logic 9. Functors 10. Set Concepts and Validity 11. Elementary Truth 12. Categorial Set Theory 13. Arithmetic 14. Local Truth 15. Adjointness and Quantifiers 16. Logical Geometry References Catalogue of Notation Index of Definitions What Our Readers Are SayingBe the first to add a comment for a chance to win!Product Details
Related SubjectsScience and Mathematics » Mathematics » Advanced Science and Mathematics » Mathematics » Foundations and Logic Science and Mathematics » Mathematics » General Science and Mathematics » Mathematics » History Science and Mathematics » Mathematics » Logic and Philosophy Science and Mathematics » Mathematics » Number Theory Science and Mathematics » Physics » Optics 

