Topoi The categorial analysis of logic
Material type:
- 9780486450261
Contents:
Mathematics = Set Theory?
What Categories Are
Introducing Topoi
Topos Structure: First Steps
Logic Classically Conceived
Algebra of Subobjects
Institutionism and Its Logic
Functors
Set Concepts and Validity
Elementary Truth
Categorial Set Theory
Arithmetic
Local Truth
Adjointness and Quantifiers
Logical Geometr

Current library | Home library | Call number | Materials specified | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 GOL (Browse shelf(Opens below)) | Available | 65731 |
Mathematics = Set Theory?
What Categories Are
Introducing Topoi
Topos Structure: First Steps
Logic Classically Conceived
Algebra of Subobjects
Institutionism and Its Logic
Functors
Set Concepts and Validity
Elementary Truth
Categorial Set Theory
Arithmetic
Local Truth
Adjointness and Quantifiers
Logical Geometr
There are no comments on this title.
Log in to your account to post a comment.