Garnier, Rowan. 100% mathematical proof / One hundred percent mathematical proof Rowan Garnier, John Taylor. - Chichester ; New York : Wiley, c1996. - viii, 317 p. : ill. ; 25 cm. Includes bibliographical references (p. [273]-274) and index. ISBN: 0471961981 (acid-free paper) 047196199X (pbk. : acid-free paper) LCCN: 96194203 Subjects--Topical Terms: Proof theory.Logic, Symbolic and mathematical. LC Class. No.: QA9.54 / .G367 1996 Dewey Class. No.: 511.3