Radically Elementary Probability Theory (REPT above) is an excellent book. A very thin volume that anyone who labored through measure-theoretic probability would enjoy at least scanning.

It is fascinating and original, like the proof mechanism mentioned upthread.