Alsina, Claudi Charming proofs: a journey into elegant mathematics - Washington: The America Association of America, 2010 - xxiv,295p.: ill.; 23cm. Include index ISBN: 978-0-88385-348-1 Subjects--Topical Terms: Proof theory LC Class. No.: MATH QA9.54.A57 2010