Handbook of logic and proof techniques for computer science
By: Steven G. Krantz.
Publisher: Birkhauser; Springer
Published: 2002
Place of publication: Boston; New York
Language: eng
Number of pages: 245
Subjects: Computers; Electronic data processing
Notes: Includes bibliographical references (p. 231-236) and index.