Title: Handbook of logic and proof techniques for computer science
First published: 2002
Subjects: Electronic data processing, Computers
LC classification: QA76 .K723 2002