Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Topoi: The Categorial Analysis of Logic - 12 Angebote vergleichen
Bester Preis: € 57,38 (vom 27.07.2016)Topoi: the Categorial Analysis of Logic (Dover Books on Mathematics) (2006)
ISBN: 9780486450261 bzw. 0486450260, in Englisch, Dover Publications, Taschenbuch, gebraucht.
Von Händler/Antiquariat, HPB-Dallas, TX, Dallas, [RE:4].
Item may show signs of shelf wear. Pages may include limited notes and highlighting. Includes supplemental or companion materials if applicable. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Paperback, Revised ed.
Topoi: Categorical Analysis of Logic (1984)
ISBN: 9780444867117 bzw. 0444867112, in Englisch, North Holland, Amsterdam, gebundenes Buch, gebraucht.
Owners name in ink on front endpaper. Some discolouration of (yellow) spine, Cover a little worn at edges. Sent promptly by first class post.
Topoi
ISBN: 9780444867117 bzw. 0444867112, in Englisch, Elsevier Science, neu, E-Book.
Mathematics, 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 framework of sheaf theory (``localization'' of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ``Dedekind-real'' becomes represented as a ``continuously-variable classical real number''. The second edition contains a new chapter, entitled Logical Geometry, which introduces the reader to the theory of geometric morphisms of Grothendieck topoi, and its model-theoretic rendering by Makkai and Reyes. The aim of this chapter is to explain why Deligne's theorem about the existence of points of coherent topoi is equivalent to the classical Completeness theorem for ``geometric'' first-order formulae. eBook.
Topoi: The Categorial Analysis of Logic (2014)
ISBN: 9781483299211 bzw. 148329921X, in Englisch, North Holland, North Holland, North Holland, neu, E-Book, elektronischer Download.
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 framework of sheaf theory (``localization" of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ``Dedekind-real" becomes represented as a ``continuously-variable classical real number".The second edition contains a new chapter, entitled Logical Geometry, which introduces the reader to the theory of geometric morphisms of Grothendieck topoi, and its model-theoretic rendering by Makkai and Reyes. The aim of this chapter is to explain why Deligne's theorem about the existence of points of coherent topoi is equivalent to the classical Completeness theorem for ``geometric" first-order formulae.
Topoi, the Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics)
ISBN: 9780444867117 bzw. 0444867112, in Englisch, Elsevier Science Ltd, gebundenes Buch, gebraucht.
Von Händler/Antiquariat, Books Express.
Elsevier Science Ltd. Hardcover. Good. We ship International with Tracking Number! May not contain Access Codes or Supplements. Buy with confidence, excellent customer service! j.
Topoi, the Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics) (1984)
ISBN: 9780444867117 bzw. 0444867112, in Englisch, 568 Seiten, Elsevier Science Ltd, gebundenes Buch, gebraucht.
Von Händler/Antiquariat, HSDBooks.
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 framework of sheaf theory (``localization'' of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ``Dedekind-real'' becomes represented as a ``continuously-variable classical real number''. The second edition contains a new chapter, entitled Logical Geometry, which introduces the reader to the theory of geometric morphisms of Grothendieck topoi, and its model-theoretic rendering by Makkai and Reyes. Hardcover, Ausgabe: Rev Sub, Label: Elsevier Science Ltd, Elsevier Science Ltd, Produktgruppe: Book, Publiziert: 1984-02, Studio: Elsevier Science Ltd, Verkaufsrang: 5850713.
Topoi, the Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics) (1984)
ISBN: 9780444867117 bzw. 0444867112, in Englisch, Elsevier Science Ltd, gebundenes Buch.
We ship International with Tracking Number! May not contain Access Codes or Supplements. Buy with confidence, excellent customer service! j.
Topoi: the Categorial Analysis of Logic (Dover Books on Mathematics) (2006)
ISBN: 9780486450261 bzw. 0486450260, in Englisch, Dover Publications, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Goodwill Books, OR, Hillsboro, [RE:5].
Sound copy that may show minimal signs of wear or previous ownership. Trade paperback, Revised ed.
Topoi, The Categorial Analysis Logic (2006)
ISBN: 9780486450261 bzw. 0486450260, in Englisch, Dover Publications Inc. Taschenbuch, neu.
bol.com.
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 ... 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.Soort: Met illustraties;Taal: Engels;Oorspronkelijke titel: Topoi: The Categorial Analysis of Logic;Afmetingen: 0x0x0 mm;Gewicht: 594,00 gram;Verschijningsdatum: april 2006;ISBN10: 0486450260;ISBN13: 9780486450261; Engelstalig | Paperback | 2006.
Topoi: the Categorial Analysis of Logic (2006)
ISBN: 9780486450261 bzw. 0486450260, in Englisch, Dover Publications, New York, NY, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Montana Book Company, MA, East Walpole, [RE:5].
8vo-over 7¾"-9¾" tall. Paperback, Revised ed.