Proofs
Unknown
Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
PBDL
Proof and the Art of Mathematics
Joel David Hamkins