Proof, logic, and conjecture : the mathematician's toolbox /
Wolf, Robert S.
New York : W.H. Freeman,
c1998.
Includes bibliographical references (p. 409-411) and index.
Logic, Symbolic and mathematical.
Set theory.
Number theory.