261 results in Logic, categories and Sets
Abelian Model Category Theory
- Coming soon
-
- Expected online publication date:
- December 2024
- Print publication:
- 31 December 2024
-
- Book
- Export citation
![](https://assets.cambridge.org/97810095/62294/cover/9781009562294.jpg)
The Theory of Countable Borel Equivalence Relations
- Coming soon
-
- Expected online publication date:
- November 2024
- Print publication:
- 30 November 2024
-
- Book
- Export citation
![](https://assets.cambridge.org/97811088/35466/cover/9781108835466.jpg)
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
![](https://assets.cambridge.org/97810094/50690/cover/9781009450690.jpg)
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
![](http://assets.cambridge.org/97810093/49697/cover/9781009349697.jpg)
Topological Duality for Distributive Lattices
- Theory and Applications
-
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024
![](https://assets.cambridge.org/97810093/75313/cover/9781009375313.jpg)
The Logic of Entailment and its History
-
- Published online:
- 08 February 2024
- Print publication:
- 15 February 2024
![](http://assets.cambridge.org/97810093/84803/cover/9781009384803.jpg)
Equivalents of the Riemann Hypothesis
-
- Published online:
- 11 October 2023
- Print publication:
- 12 October 2023
![](http://assets.cambridge.org/97810094/37189/cover/9781009437189.jpg)
A Theory of Truth
-
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023
![](http://assets.cambridge.org/97811089/65644/cover/9781108965644.jpg)
Maurer–Cartan Methods in Deformation Theory
- The Twisting Procedure
-
- Published online:
- 19 August 2023
- Print publication:
- 07 September 2023
![](http://assets.cambridge.org/97810093/17863/cover/9781009317863.jpg)
Introducing String Diagrams
- The Art of Category Theory
-
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023
![](http://assets.cambridge.org/97810090/96287/cover/9781009096287.jpg)
Introduction to Proofs and Proof Strategies
-
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023
-
- Textbook
- Export citation
![](http://assets.cambridge.org/97813165/10865/cover/9781316510865.jpg)
Handbook of Constructive Mathematics
-
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023
![](https://assets.cambridge.org/97811088/40682/cover/9781108840682.jpg)
A Comparison Process for Mouse Pairs
-
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022
![](https://assets.cambridge.org/97811084/77222/cover/9781108477222.jpg)
The Joy of Abstraction
- An Exploration of Math, Category Theory, and Life
-
- Published online:
- 13 October 2022
- Print publication:
- 13 October 2022
![](https://assets.cambridge.org/97811088/33141/cover/9781108833141.jpg)
Modern Mathematical Logic
-
- Published online:
- 08 December 2022
- Print publication:
- 22 September 2022
-
- Textbook
- Export citation
![](https://assets.cambridge.org/97811087/45246/cover/9781108745246.jpg)
The Logical Approach to Automatic Sequences
- Exploring Combinatorics on Words with Walnut
-
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022
![](https://assets.cambridge.org/97811087/20847/cover/9781108720847.jpg)
Mathematical Logic and Computation
-
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022
![](https://assets.cambridge.org/97811089/49477/cover/9781108949477.jpg)
Mathematical Logic through Python
-
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022
![](https://assets.cambridge.org/97810092/29692/cover/9781009229692.jpg)
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
-
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022
![](https://assets.cambridge.org/97810092/29487/cover/9781009229487.jpg)
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
-
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022