A textbook for students who are learning how to write a mathematical proof, a validation of the truth of a mathematical…

An introduction to awe-inspiring ideas at the brink of paradox: infinities of different sizes, time travel, probability and…

A comprehensive and self-contained introduction to Gaussian processes, which provide a principled, practical, probabilistic…

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the…

An advanced-level textbook on Bayesian statisitics primarily aimed at students in the cognitive, behavioral, and social…

An introduction to decision making under uncertainty from a computational perspective, covering both theory and applications…