The Story of Proof

Logic and the History of Mathematics

2022

A Concise History of Mathematics for Philosophers

2019

Reverse Mathematics

Proofs from the Inside Out

2018

Elements of Number Theory

2010

Roads to Infinity

The Mathematics of Truth and Proof

2010

Naive Lie Theory

2008

Yearning for the Impossible

The Surprising Truths of Mathematics

2006

The Four Pillars of Geometry

2005

Mathematics and Its History

1997

Elements of Algebra

Geometry, Numbers, Equations

1994

Classical Topology and Combinatorial Group Theory

1980

Elements of Mathematics

From Euclid to Gödel

1852