Topoi
The Categorial Analysis of Logic
The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics, models of classical set theory and the conceptual…
Mehr
CHF 70.90
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-1-4832-9921-1
- EAN: 9781483299211
- Produktnummer: 36160482
- Verlag: Elsevier Science & Techn.
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 565 S.
- Plattform: PDF
- Auflage: 2. Auflage
1 weiteres Werk von R. Goldblatt:
Bewertungen
Anmelden