Reverse Mathematics

Proofs from the Inside Out

2018

Elements of Mathematics

From Euclid to Gödel

1852

A Concise History of Mathematics for Philosophers

2019

Yearning for the Impossible

The Surprising Truths of Mathematics

2006

Naive Lie Theory

2008

Roads to Infinity

The Mathematics of Truth and Proof

2010

Elements of Algebra

Geometry, Numbers, Equations

1994

Classical Topology and Combinatorial Group Theory

1980

Mathematics and Its History

1997

The Four Pillars of Geometry

2005

Elements of Number Theory

2010