TY  - BOOK
AU  - Krantz, Steven G
TI  - Handbook of logic and proof techniques for compuetr science
SN  - 9780817642204
U1  - 004.1015 KRA 
PY  - 2002///
CY  - New York
PB  - Springer
KW  - compuetr science
KW  - Mathematical Logic
ER  -