TY  - BOOK
AU  - Krantz, Steven G., (Steven George), 1951-
TI  - Handbook of logic and proof techniques for computer science
SN  - 081764220X (alk. paper)
CY  - Boston
KW  - Computers
KW  - Electronic data processing
ER  -