Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games /
Ensley, Douglas E.
Crawley, J. Winston.
Hoboken, N.J. : Wiley,
c2006.
Includes bibliographical references (p. 682-683) and index.
Logic, Symbolic and mathematical.
Mathematical recreations.
Computer science