Synopsis
The author introduces Lawvere and Tierney's concept of topos theory, a striking development in category theory that unites a number of important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topos theory has led to the forging of surprising new links between classical and constructive mathematics. Bell presents toposes as the models of theories--the so-called local set theories--formulated within a typed intuitionistic logic.
"synopsis" may belong to another edition of this title.
About the Author
J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Toposes and Local Set Theories: An Introduction (Oxford...
Stock Image
Toposes and Local Set Theories: An Introduction (Oxford Logic Guides)
Published by
Oxford University Press, 1988
ISBN 10: 0198532741
ISBN 13: 9780198532743
Used
Hardcover
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR008079911
Buy Used
US$ 49.87
US$ 7.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Toposes and Local Set Theories: An Introduction (Oxford Logic Guides)
Published by
Oxford University Press, 1988
ISBN 10: 0198532741
ISBN 13: 9780198532743
Used
Hardcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0198532741.G
Seller Image
Toposes and local set theories an introduction. Oxford logic guides 14.
Published by
Oxford, Clarendon Press, 1988
ISBN 10: 0198532741
ISBN 13: 9780198532743
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 BEL 9780198532743 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2502773
Buy Used
US$ 104.33
US$ 45.67 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Toposes and local set theories an introduction J.L. Bell. Oxford logic guides 14.
Published by
Oxford, Clarendon Press, 1988
ISBN 10: 0198532741
ISBN 13: 9780198532743
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 BEL 9780198532743 Sprache: Englisch Gewicht in Gramm: 1150. Seller Inventory # 2508816
Buy Used
US$ 166.65
US$ 45.67 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available