Logic and discrete mathematics : a computer science perspective - Grassman, Winfried Karl; Tremblay,Jean-Paul (Upper Saddle River, New Jersey: Prentice Hall International, 1996)
Includes index