TY - BOOK AU - Wolf, Robert S TI - Proof, logic, and conjecture : the mathematician's toolbox SN - 716730502 SN - 97031940 U1 - 511.3 WOL PY - 1998/// CY - New York PB - W. H. Freeman KW - Logic, Symbolic and mathematical KW - Number theory KW - Set theory N1 - Includes bibliographical references (p. 409-411) and index ER -