Mathematical Foundations

An Invitation To Applied Category Theory: Seven Sketches In Compositionality

Cambridge University Press

Fundamentals Of Analysis With Applications

Springer Verlag, Singapore

Sets, Logic And Maths For Computing

Springer Nature Switzerland AG

Essential Logic For Computer Science

MIT Press Ltd

Relative Nonhomogeneous Koszul Duality

Springer Nature Switzerland AG

Mathematical Logic

Springer Spektrum

(Co)End Calculus

Cambridge University Press

Logic And Structure

Springer London Ltd

Undecidability, Uncomputability, And Unpredictability

Springer Nature Switzerland AG

Elements Of -Category Theory

Cambridge University Press

Twists, Tilings, And Tessellations: Mathematical Methods For Geometric Origami

Taylor & Francis Inc

The Elements Of Advanced Mathematics

Taylor & Francis Ltd

Interactions Of Quantum Affine Algebras With Cluster Algebras, Current Algebras And Categorification: In Honor Of Vyjayanthi Chari On The Occasion Of Her 60Th Birthday

Springer Nature Switzerland AG

Algorithmic Randomness: Progress And Prospects

Cambridge University Press

Don Pigozzi On Abstract Algebraic Logic, Universal Algebra, And Computer Science

Springer International Publishing AG

Derivation And Computation: Taking The Curry-Howard Correspondence Seriously

Cambridge University Press