264 results in Logic, categories and Sets
Initial Algebras and Terminal Coalgebras
- The Theory of Fixed Points of Functors
- Coming soon
-
- Expected online publication date:
- January 2025
- Print publication:
- 31 January 2025
-
- Book
- Export citation
Abelian Model Category Theory
- Coming soon
-
- Expected online publication date:
- January 2025
- Print publication:
- 31 December 2024
-
- Book
- Export citation
An Introduction to Classical and Modal Logics
- The Outlines of Knowledge
- Coming soon
-
- Expected online publication date:
- December 2024
- Print publication:
- 30 November 2024
-
- Textbook
- Export citation
The Theory of Countable Borel Equivalence Relations
- Coming soon
-
- Expected online publication date:
- November 2024
- Print publication:
- 30 November 2024
-
- Book
- Export citation
The Largest Suslin Axiom
-
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024
Topological Duality for Distributive Lattices
- Theory and Applications
-
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024
The Logic of Entailment and its History
-
- Published online:
- 08 February 2024
- Print publication:
- 15 February 2024
Equivalents of the Riemann Hypothesis
-
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023
A Theory of Truth
-
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023
Maurer–Cartan Methods in Deformation Theory
- The Twisting Procedure
-
- Published online:
- 19 August 2023
- Print publication:
- 07 September 2023
Introducing String Diagrams
- The Art of Category Theory
-
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023
Introduction to Proofs and Proof Strategies
-
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023
-
- Textbook
- Export citation
Handbook of Constructive Mathematics
-
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023
A Comparison Process for Mouse Pairs
-
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022
The Joy of Abstraction
- An Exploration of Math, Category Theory, and Life
-
- Published online:
- 13 October 2022
- Print publication:
- 13 October 2022
Modern Mathematical Logic
-
- Published online:
- 08 December 2022
- Print publication:
- 22 September 2022
-
- Textbook
- Export citation
The Logical Approach to Automatic Sequences
- Exploring Combinatorics on Words with Walnut
-
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022
Mathematical Logic and Computation
-
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022
Mathematical Logic through Python
-
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
-
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022