Toposes and Local Set Theories
First published 1988
More by John L. Bell
Higher-Order Logic and Type Theory
2022
EMS DAYS the Cold Case
2019
Come All You People
2005
Set Theory
2005
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
2005
The Singing Thing
2000
A Primer of Infinitesimal Analysis
1998
A Course in Mathematical Logic
1977
Catalogue record
Clarendon · 350 pages
- Publisher
- Clarendon
- Pages
- 350
- ISBN
- 978-0-19-853274-3
Full recordClose
- Publisher
- Clarendon
- Pages
- 350
- ISBNs
-
- 978-0-19-853274-3
- 978-0-486-78612-4
- 978-0-486-46286-8
- Author
- Bell, John L.
- Statement
- Toposes and Local Set Theories / John L. Bell.
- Records
- Open Library
- Logic, Symbolic and mathematical
- Set theory
- Symbolic and mathematical Logic
- Toposes