 | ||||||||||||||||
| ||||||||||||||||
by Robert Goldblatt
|
ISBN: 0486450260 Dover Publications Price: $29.95 |
click here to see this book |
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.
Unabridged republication of the edition published by Elsevier North-Holland Publishing Co., New York, 1983.
Table of Contents for Topoi: The Categorial Analysis of Logic
| 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 |