Lectures on the Philosophy of Mathematics
An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice.
Proof and the Art of Mathematics
An introduction to writing proofs, presented through compelling mathematical statements with interesting elementary proofs.