Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics) - Softcover

Buch 210 von 303: Dover Books on Mathematics

Goldblatt, Robert

 
9780486450261: Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
Softcover
ISBN 10: 0486450260 ISBN 13: 9780486450261
Verlag: Dover Publications Inc., 2006

Inhaltsangabe

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 set-membership. 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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Dover Publications Inc.
Erscheinungsdatum
2006
Sprache
Englisch
ISBN 10 
0486450260
ISBN 13 
9780486450261
Einband
Taschenbuch
Anzahl der Seiten
576
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Soc. Agr. La Raia Ss
http://www.la-raia.it

Strada Monterotondo, 79
Novi Ligure
15067
Italien

Weitere beliebte Ausgaben desselben Titels

9780486789101: Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

Vorgestellte Ausgabe

ISBN 10:  0486789101 ISBN 13:  9780486789101
Hardcover