A logical approach to discrete math - Gries, David; Schneider, Fred B (New York Springer-Verlag, 1995)
Includes bibliographical references (p. [473]-475) and index
1
Keywords: Mathematics