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. Robert Goldblatt is Professor of Pure Mathematics at New Zealand's Victoria University. 1983 edition.
Sprache
Verlagsort
Maße
Höhe: 215 mm
Breite: 139 mm
Dicke: 29 mm
Gewicht
ISBN-13
978-0-486-45026-1 (9780486450261)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Robert Goldblatt is Professor of Pure Mathematics at New Zealand's Victoria University.
1. 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
