Bibliography: p641-643. Includes index.
Logic and discrete mathematics : a computer science perspective by Winfried K. Grassmann. ISBN 0135012066. Published by Prentice Hall in 1996. Publication and catalogue information, links to buy online and reader comments.