Charming proofs a journey into elegant mathematics - Alsina, Claudi; Nelsen, Roger B. (Washington, Dc Mathematical Association Of America, 2010)
Keywords: Proof theory