This concise introduction explores the key ideas of mathematical logic in a clear and accessible style, making the subject approachable for students of mathematics and computer science. The second edition includes new chapters on automatic theorem proving, first-order and non-classical logics, and updated suggestions for further reading. It serves as an engaging introduction and useful supplement for courses in logic, mathematics, philosophy, and computer science.

Uploaded July 2026

This book examines the degeneration of pseudoholomorphic disks in symplectic geometry and introduces broken disks as their limit objects in the large complex structure limit. It proves an infinite homotopy equivalence between the classical Fukaya algebra and a tropical version defined using counts of broken disks. The book also provides a self-contained treatment of the underlying theory, including transversality, and features computations of disk potentials for Lagrangian submanifolds in examples such as cubic surfaces and flag varieties.

Uploaded July 2026

This book introduces a comprehensive theory of adelic line bundles on quasi-projective varieties over finitely generated fields, developed in both geometric and arithmetic contexts. In the geometric setting, adelic line bundles are defined as limits of line bundles on projective compactifications under the boundary topology. In the arithmetic setting, they are defined as limits of Hermitian line bundles on projective arithmetic compactifications, also under the boundary topology. This theory has broad applications in the study of numerical, dynamical, and Diophantine properties of moduli spaces, quasi-projective varieties, and varieties over finitely generated fields.

Uploaded July 2026

The book traces the history of mathematics in the Polish lands from pagan times (the tenth century AD) to the present, with particular attention to the era inaugurated by the reforms of the National Education Commission (1773-1794), through the nineteenth and twentieth centuries until recently. Richly illustrated and thoroughly documented, it recounts the many achievements of Polish mathematicians-- including the world-renowned interwar Polish School of Mathematics--alongside the great tragedies, notably the losses caused by the Second World War, as well as the arduous post-war revival. A book for anyone interested in Polish culture and its achievements.

Uploaded July 2026

You might also remember that a vector is a quantity that has magnitude and (this is the key) direction. It sounds simple enough—and yet, as award-winning science writer Robyn Arianrhod shows in this riveting story, the idea of a single symbol expressing more than one thing at once was millennia in the making.

Uploaded May 2026

This book provides a thorough foundation in the powerful ideas that now shape the landscape of algebraic geometry, with an informal yet rigorous exposition that builds intuition for understanding the formidable machinery.

Uploaded May 2026

Cara-Julie Kather explores Mathematics as a way of thinking and being in the world. She investigates Mathematics in its conceptual relation to Western understandings of the Rational and the Human, and proposes possibilities of subverting Western Mathematics and of forming different mathematical practices.

Uploaded May 2026

This follow-up to the modern classic, Five Practices for Orchestrating Productive Mathematics Discussions, shows the five practices in action in Grades K-5 classrooms and empowers teachers to be prepared for and overcome the challenges common to orchestrating math discussions.

Uploaded May 2026

This book makes the five practices accessible for high school mathematics teachers. High school mathematics departments and teams can use this book as a framework for engaging professional collaboration.

Uploaded May 2026

This book explains gradient-based stochastic optimization, exploiting the methodologies of stochastic approximation and gradient estimation. Although the approach is theoretical, the book emphasizes developing algorithms that implement the methods.

Uploaded May 2026