TY  - BOOK
AU  - Krantz,Steven G.
TI  - Handbook of logic and proof techniques for computer science
SN  - 081764220X (hbk.)
AV  - QA76 .K73 2002
U1  - 004 21
PY  - 2002///
CY  - Boston, New York
PB  - Birkhauser, Springer
KW  - Computers
KW  - Electronic data processing
N1  - Includes bibliographical references (p. 231-236) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0812/2001043153-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0812/2001043153-t.html
ER  -