TY  - BOOK
AU  - HEIN,  JAMES  L.
TI  - Discrete Structures, Logic and Computability
SN  - 0008173195625
U1  - 004.0151 
PB  - New Delhi : Narosa Publishing
KW  - Computation : Logic
ER  -