Explore Books on
proof theory

Mathematical proofs

By Daniel Solow,Solow

Four Colours Suffice

By Robin J. Wilson

Analysis

By Steven R. Lay

The nuts and bolts of proofs

By Antonella Cupillari

Mathematical proofs

By Gary Chartrand,Albert D. Polimeni,Zhang, Ping,Ping Zhang

Bridge to Higher Mathematics

By Valentin Deaconu,Donald C. Pfaff

Proof, Logic and Formalization

By Michael Detlefsen

History of Mathematical Proof in Ancient Traditions

By Karine Chemla

How to prove it

By Daniel J. Velleman

Transition to Proof

By Neil R. Nicholson

Introduction to Mathematical Proofs

By Nicholas A. Loehr

Transition to Analysis with Proof

By Steven Krantz

Logic Programming

By James H. Andrews,J. Andrews

The incompleteness phenomenon

By Martin Goldstern

On Constructive Interpretation of Predictive Mathematics (1990)

By Charles Parsons

Reductive logic and proof-search

By David J. Pym,Eike Ritter

Incompleteness

By Rebecca Goldstein

Set Theory

By John L. Bell

Understanding Mathematical Proof

By John Taylor,Rowan Garnier

Teaching and learning proof across the grades

By Despina A. Stylianou

Tracking reason

By Jody Azzouni

Ways of Proof Theory

By Ralf Schindler

Logical Foundations of Proof Complexity

By Stephen Cook

Musical Haptics

By Stefano Papetti,Charalampos Saitis