TY  - BOOK
AU  - JAMES
AU  - HEIN
TI  - DISCRETE STRUCTURES LOGIC AND COMPUTABILITY
SN  - 8173195625
U1  - 3.83 
PY  - 2004///
CY  - NEW DELHI
PB  - NAROSA
KW  - EQUALITY
KW  - GRAMMARS
KW  - SETS
ER  -