Introduction to math proofs an introduction to mathematical logic and type theory to truth through proof edition 2 best introduction to mathematical proofs.

Introduction to math proofs how i teach the introduction to proofs by e teaches math best introduction to math proofs.