Foundations and Fundamental Concepts of Mathematics (Dover Books on Mathematics)

Dynamic Programming (Dover Books on Computer Science)

Proof Theory: The First Step into Impredicativity (Universitext)

The Expert Guide to Nate Silver's The Signal and the Noise 30 Minutes

Mathematical Analysis: Linear and Metric Structures and Continuity

Evolutionary Algorithms for Solving Multi-Objective Problems (Genetic and Evolutionary Computation)

Analysis for Computer Scientists: Foundations, Methods, and Algorithms (Undergraduate Topics in Computer Science)

1001 Algebra Problems

Handbook of Discrete and Computational Geometry

The Unfinished Game: Pascal, Fermat, and the Seventeenth-Century Letter that Made the World Modern