Handbook of logic and proof techniques for computer science - Krantz, Steven G. (Steven George) 1951- (Boston Birkhauser, 2002)
Includes bibliographical references (pages 231-236) and index.
E2-1090G donated by Dr. Leonardo Liongson.
Keywords: Computers; Electronic data processing