6406 results in Logic, categories and Sets
Initial Algebras and Terminal Coalgebras
- The Theory of Fixed Points of Functors
- Coming soon
-
- Expected online publication date:
- September 2024
- Print publication:
- 30 September 2024
-
- Book
- Export citation
An Introduction to Classical and Modal Logics
- The Outlines of Knowledge
- Coming soon
-
- Expected online publication date:
- August 2024
- Print publication:
- 31 August 2024
-
- Textbook
- Export citation
The Temporal Continuum
-
- Journal:
- The Review of Symbolic Logic / Accepted manuscript
- Published online by Cambridge University Press:
- 12 April 2024, pp. 1-21
-
- Article
- Export citation
ON QUANTIFICATION AND EXTENSIONALITY
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 25 March 2024, pp. 1-23
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Notation
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 339-345
-
- Chapter
- Export citation
2 - Topology and Order
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 29-50
-
- Chapter
- Export citation
Preface
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp vii-xiv
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp i-iv
-
- Chapter
- Export citation
8 - Automata Theory
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 273-329
-
- Chapter
- Export citation
6 - Omega-Point Duality
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 196-226
-
- Chapter
- Export citation
4 - Duality Methods
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 86-153
-
- Chapter
- Export citation
3 - Priestley Duality
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 51-85
-
- Chapter
- Export citation
Index
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 346-352
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp xv-xvi
-
- Chapter
- Export citation
1 - Order and Lattices
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 1-28
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 330-338
-
- Chapter
- Export citation
Contents
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp v-vi
-
- Chapter
- Export citation
7 - Domain Theory
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 227-272
-
- Chapter
- Export citation
5 - Categorical Duality
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 154-195
-
- Chapter
- Export citation
RSL volume 17 issue 1 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 26 March 2024, pp. f1-f4
- Print publication:
- March 2024
-
- Article
-
- You have access
- Export citation