TY  - BOOK
AU  - karntz, Steven G
AU  - 
TI  - Handbook of logic and proof techniques for computer science
U1  - 004  KAR-H 
PY  - 2002///
CY  - Birkhauser, Boston
KW  - Computer science
ER  -