Proof Theory

413 books
Summa TheologicaThomas Aquinas
⏱ 3h 47m

Summa Theologica

Thomas Aquinas

1467227 pp.
Fermat's Last TheoremSimon Singh
⏱ 5h 38m

Fermat's Last Theorem

Simon Singh

1997338 pp.
Meditationes de prima philosophiaRené Descartes
⏱ 3h 11m

Meditationes de prima philosophia

René Descartes

1642191 pp.
How to prove itDaniel J. Velleman
⏱ 6h 40m

How to prove it

Daniel J. Velleman

1994400 pp.
Mathematical proofsGary Chartrand
⏱ 6h 40m

Mathematical proofs

Gary Chartrand

2002400 pp.
Mathematical proofsDaniel Solow
⏱ 4h 15m

Mathematical proofs

Daniel Solow

1982255 pp.
IncompletenessRebecca Goldstein
⏱ 4h 20m

Incompleteness

Rebecca Goldstein

2005260 pp.
Four Colours SufficeRobin J. Wilson
⏱ 4h 22m

Four Colours Suffice

Robin J. Wilson

2002262 pp.
Book of ProofRichard H. Hammack
⏱ 5h 41m

Book of Proof

Richard H. Hammack

2009341 pp.
Meditations on First PhilosophyRene Descartes
⏱ 52m

Meditations on First Philosophy

Rene Descartes

200752 pp.
The nuts and bolts of proofsAntonella Cupillari
⏱ 2h 44m

The nuts and bolts of proofs

Antonella Cupillari

1989164 pp.
The fire in the equationsKitty Ferguson
⏱ 5h 8m

The fire in the equations

Kitty Ferguson

1994308 pp.
AnalysisSteven R. Lay
⏱ 5h 3m

Analysis

Steven R. Lay

1986303 pp.
Logic, proof, and setsMarvin L. Bittinger
⏱ 2h 11m

Logic, proof, and sets

Marvin L. Bittinger

1982131 pp.
History of Mathematical Proof in Ancient TraditionsKarine Chemla
⏱ 10h 14m

History of Mathematical Proof in Ancient Traditions

Karine Chemla

2012614 pp.
The Moment of ProofDonald C. Benson
⏱ 5h 37m

The Moment of Proof

Donald C. Benson

1999337 pp.
Meditations on First PhilosophyRené Descartes
⏱ 1h 35m

Meditations on First Philosophy

René Descartes

201395 pp.
An Introduction to Mathematical ReasoningPeter J. Eccles
⏱ 6h 2m

An Introduction to Mathematical Reasoning

Peter J. Eccles

1997362 pp.
Mathematical reasoningTed Sundstrom
⏱ 9h 12m

Mathematical reasoning

Ted Sundstrom

2003552 pp.
Analysis With An Introduction to Proof, 5th EditionSteven R. Lay
⏱ 6h 48m

Analysis With An Introduction to Proof, 5th Edition

Steven R. Lay

2013408 pp.
Page 1 of 21Next →