Explore Books on
proof theory

Mathematical proofs

By Daniel Solow,Solow

Analysis

By Steven R. Lay

Four Colours Suffice

By Robin J. Wilson

The nuts and bolts of proofs

By Antonella Cupillari

Mathematical proofs

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

How to prove it

By Daniel J. Velleman

Bridge to Higher Mathematics

By Valentin Deaconu,Donald C. Pfaff

History of Mathematical Proof in Ancient Traditions

By Karine Chemla

Proof, Logic and Formalization

By Michael Detlefsen

Transition to Proof

By Neil R. Nicholson

Introduction to Mathematical Proofs

By Nicholas A. Loehr

Transition to Analysis with Proof

By Steven Krantz

The incompleteness phenomenon

By Martin Goldstern

On Constructive Interpretation of Predictive Mathematics (1990)

By Charles Parsons

Logic Programming

By James H. Andrews,J. Andrews

Incompleteness

By Rebecca Goldstein

Understanding Mathematical Proof

By John Taylor,Rowan Garnier

Tracking reason

By Jody Azzouni

Logical Foundations of Proof Complexity

By Stephen Cook

Musical Haptics

By Stefano Papetti,Charalampos Saitis

Ways of Proof Theory

By Ralf Schindler

Teaching and learning proof across the grades

By Despina A. Stylianou

Reductive logic and proof-search

By David J. Pym,Eike Ritter

Set Theory

By John L. Bell