Title :
100,mathematical proof
Author Statement :
Rowan Garnier, John Taylor
Collation :
viii, 317 p.: ill.; 25 cm
Subject :
Proof theory,Logic, Symbolic and mathematical
ADDED ENTRIES :
Taylor, John, 1957-
Holding Info. :
0471961981
Biblography :
Includes bibliographical references (p. [273]-274) and index
